Noch Fragen? 0800 / 33 82 637

Artikel empfehlen

Formal Methods and Hybrid Real-Time Systems

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

Produktform: Buch / Einband - flex.(Paperback)

Dieser Artikel gehört zu den folgenden Serien

Sprache(n): Englisch

ISBN: 978-3-540-75220-2 / 978-3540752202 / 9783540752202

Verlag: Springer Berlin

Erscheinungsdatum: 06.09.2007

Seiten: 542

Auflage: 1

Zielgruppe: Research

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

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück