Das Buch ist derzeit nicht auf Lager
Formal methods for the design of real time systems
Autoren
Parameter
Buchkauf
Formal methods for the design of real time systems, Marco Bernardo
- Sprache
- Erscheinungsdatum
- 2004
Wir benachrichtigen dich per E-Mail.
Lieferung
Zahlungsmethoden
Deine Änderungsvorschläge
- Titel
- Formal methods for the design of real time systems
- Sprache
- Englisch
- Autor*innen
- Marco Bernardo
- Verlag
- Springer
- Erscheinungsdatum
- 2004
- ISBN10
- 3540230688
- ISBN13
- 9783540230687
- Reihe
- Lecture notes in computer science
- Kategorie
- Informatik & Programmierung