Formal Methods and Hybrid Real-Time Systems - Softcover

 
9783540844280: Formal Methods and Hybrid Real-Time Systems

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Weitere beliebte Ausgaben desselben Titels

9783540752202: Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays: 4700 (Theoretical Computer Science and General Issues)

Vorgestellte Ausgabe

ISBN 10:  354075220X ISBN 13:  9783540752202
Verlag: Springer, 2007
Softcover