High integrity software : the SPARK approach to safety and security

High integrity software the SPARK approach to safety and security

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Barnes, J. G. P. (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: London, Munich u.a. Addison-Wesley 2007
Ausgabe:[Nachdr.]
Schlagworte:
Computer software > Reliability > Development > Ada (Computer program language) > SPARK > Ada > Softwareentwicklung > Zuverlässigkeit
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Includes bibliographical references and index
Beschreibung:XVII, 430 S
graph. Darst
1 CD-ROM
ISBN:0321136160
0-321-13616-0
9780321136169
978-0-321-13616-9
9780321136160