Using Event-B for Critical Device Software Systems - Neeraj Kumar Singh - Bücher - Springer London Ltd - 9781447157908 - 7. Juli 2015
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Neeraj Kumar Singh
Using Event-B for Critical Device Software Systems 2013 edition

Preis
€ 98,99

Bestellware

Lieferdatum: ca. 8. - 16. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen
oder

Auch vorhanden als:

Defining a new development life-cycle methodology, together with a set of associated techniques and tools to develop highly critical systems using formal techniques, this book adopts a rigorous safety assessment approach explored via several layers (from requirements analysis to automatic source code generation).

326 pages, 20 black & white tables, biography

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 7. Juli 2015
Ursprünglich erschienen 2013
ISBN13 9781447157908
Verlag Springer London Ltd
Seitenanzahl 326
Maße 155 × 235 × 18 mm   ·   522 g
Sprache Englisch  

Weitere Titel von Neeraj Kumar Singh

Alle anzeigen

Alle Titel von Neeraj Kumar Singh ansehen ( u. a. Taschenbuch und Gebundenes Buch )