Formal Methods and Hybrid Real-Time Systems
Produktnummer:
18f293ee09db91448d90d67da7e5a61cf7
| Themengebiete: | Algorithms algorithm design formal method logic modeling organization real-time software engineering verification |
|---|---|
| Veröffentlichungsdatum: | 06.09.2007 |
| EAN: | 9783540752202 |
| Sprache: | Englisch |
| Seitenzahl: | 542 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Jones, Cliff B. Liu, Zhiming Woodcock, Jim |
| Verlag: | Springer Berlin |
| Untertitel: | Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays |
Produktinformationen "Formal Methods and Hybrid Real-Time Systems"
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen