Noch Fragen? 0800 / 33 82 637

Formal Methods and Hybrid Real-Time Systems

Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Elektronisches Format: PDF

Sprache(n): Englisch

ISBN: 978-3-540-75221-9 / 978-3540752219 / 9783540752219

Verlag: Springer Berlin

Erscheinungsdatum: 04.09.2007

Seiten: 542

Herausgegeben von Cliff Jones, James Woodcock, Zhiming Liu, Jim Woodcock, Cliff B. Jones

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück