• Formal Methods and Hybrid Real...
  • Bestand

Treffer: Formal Methods and Hybrid Real-Time Systems

Titel:
Formal Methods and Hybrid Real-Time Systems : Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays / edited by Cliff B. Jones, Zhiming Liu, Jim Woodcock
Beteiligt:
Jones, Cliff B. (Herausgeber) ; Liu, Zhiming (Herausgeber); Woodcock, Jim (Herausgeber)
Ausgabe:
1st edition 2007
Veröffent­licht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XVI, 542 Seiten)
Format:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Theoretical Computer Science and General Issues, ISSN 2512-2029 ; 4700
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Formal Methods and Hybrid Real-Time Systems. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - ISBN 9783540752202
Schlagworte:
ISBN:
9783540752219 ; 3540752218 ; 9783540752202 (Sekundärausgabe) ; 9783540844280 (Sekundärausgabe)
DOI:
10.1007/978-3-540-75221-9

Zusatz-Informationen

Zusatz-Funktionen