Wir senden dir das abgebildete Buch
Parameter
- 530 Seiten
- 19 Lesestunden
Buchkauf
Temporal Verification of Reactive Systems, Autorenkollektiv
- Sprache
- Erscheinungsdatum
- 1995
- product-detail.submit-box.info.binding
- (Hardcover),
- Buchzustand
- Gebraucht - Gut
- Preis
- 8,49 €inkl. MwSt.
Hier könnte deine Bewertung stehen.
- Titel
- Temporal Verification of Reactive Systems
- Untertitel
- Safety
- Sprache
- Englisch
- Autor*innen
- Autorenkollektiv
- Verlag
- Springer
- Erscheinungsdatum
- 1995
- Einband
- Hardcover
- Seitenzahl
- 530
- ISBN10
- 0387944591
- ISBN13
- 9780387944593
- Reihe
- Schlagwörter
- Sachbücher, Technologie & Industrie, Computer & Internet, Handbücher und Anleitungen, Bücher, Logik, Softwareentwicklung, Algorithmen
- Bewertung
- 4,5 von 5 Sternen