Building high integrity applications with SPARK

Building high integrity applications with SPARK

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: McCormick, John W. (VerfasserIn)
Weitere Verfasser: Chapin, Peter C. (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: New York, NY Cambridge University Press 2015
Schlagworte:
SPARK (Computer program language) > Fault-tolerant computing > Fehlertoleranz
Online Zugang:Inhaltsverzeichnis
Inhaltstext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Hier auch später erschienene, unveränderte Nachdrucke
Includes bibliographical references (pages 359-362) and index
Beschreibung:xiv, 367 Seiten
Diagramme
ISBN:1107040736
1-107-04073-6
1107656842
1-107-65684-2
9781107040731
978-1-107-04073-1
9781107656840
978-1-107-65684-0