Building high integrity applications with SPARK /
Saved in:
Main Authors: | |
---|---|
Group Author: | |
Published: |
Cambridge University Press,
|
Publisher Address: | New York, NY : |
Publication Dates: | 2015. |
Literature type: | Book |
Language: | English |
Subjects: | |
Carrier Form: | xiv, 367 pages : illustrations ; 23 cm |
Bibliography: | Includes bibliographical references and index. |
ISBN: |
9781107040731 1107040736 9781107656840 1107656842 |
Index Number: | QA76 |
CLC: | TP312SP |
Call Number: | TP312SP/M131 |