Das Buch ist derzeit nicht auf Lager
Formal Methods for Executable Software Models
Autoren
Parameter
Buchkauf
Formal Methods for Executable Software Models, Marco Bernardo
- Sprache
- Erscheinungsdatum
- 2014
Wir benachrichtigen dich per E-Mail.
Lieferung
Zahlungsmethoden
Deine Änderungsvorschläge
- Titel
- Formal Methods for Executable Software Models
- Sprache
- Englisch
- Autor*innen
- Marco Bernardo
- Verlag
- Springer International Publishing
- Erscheinungsdatum
- 2014
- Einband
- Paperback
- ISBN10
- 3319073168
- ISBN13
- 9783319073163
- Kategorie
- Technik & Maschinenbau, Informatik & Programmierung