Produkt
KlappentextDoch wie stellt man sicher, dass die Steuerung eines Raumschiffs, eines Herzschrittmachers oder einer Aktienverwaltung korrekt funktioniert? Ein Modell erlaubt es, ein beliebiges sequenzielles oder verteiltes System zu analysieren und zu simulieren. Dabei steht bewusst die Anwendung der Modelle und nicht die Theorie dahinter im Vordergrund.
Zusammenfassung
Viele unterschiedliche Ansätze formaler Modelle zum Nachweis der Korrektheit von Software
Includes supplementary material: sn.pub/extras
Viele unterschiedliche Ansätze formaler Modelle zum Nachweis der Korrektheit von Software
Includes supplementary material: sn.pub/extras
Details
ISBN/GTIN978-3-8348-0669-7
ProduktartBuch
EinbandartKartoniert, Paperback
Verlag
ErscheinungsortWiesbaden
ErscheinungslandDeutschland
Erscheinungsjahr2009
Erscheinungsdatum15.09.2009
Auflage2009
SpracheDeutsch
Illustrationen206 s/w Abbildungen
Artikel-Nr.11104913
Rubriken