Erhältlich:
Nicht auf Lager
Buch (Softcover): Fachbuch
Formal Methods and Hybrid Real-Time Systems
Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
Produkt bewerten
Verlag:
Springer EN Unsere-Artikel-Nr.: P35154800
EAN: 9783540752202
Erhältlich:
Nicht auf Lager
Zustellung: Di, 11.08.2026
Versand: Kostenlos
-17.1 %
CHF 70.–
CHF 58.–
Spezifikationen
Sprache
- Englisch
Autor
- Jim Woodcock
- Cliff B. Jones
- Zhiming Liu
Zielgruppe
- Research
Erscheinungsjahr
- 2007
Format
- Buch (Softcover)
Anzahl Seiten
- 542