Enlarge

Building high integrity applications with SPARK

John W. McCormick

Publication Data

Title Building high integrity applications with SPARK
Author John W. McCormick
Contributor Peter C. Chapin
Publisher Cambridge University Press
Publication date 2015
Publication location Cambridge
Language English

Topics

017418855

Catalogue Data

OBNB ID GBB583051
ISBN 10 1107656842
ISBN 13 9781107656840
Type BibliographicResource, Book
Dewey Classification 005.133

ISBD

P1053 xiv, 367 pages
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Building high integrity applications with SPARK by John W. McCormick. ISBN 9781107656840. Published by Cambridge University Press in 2015. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.