Formal Methods and Hybrid Real-Time Systems - Couverture souple

 
9783540844280: Formal Methods and Hybrid Real-Time Systems
Couverture souple
ISBN 10 : 3540844287 ISBN 13 : 9783540844280
Editeur : Springer, 2008

L'édition de cet ISBN n'est malheureusement plus disponible.

Éditeur
Springer
Date d'édition
2008
Langue
anglais
ISBN 10 
3540844287
ISBN 13 
9783540844280
Reliure
Paperback
Nombre de pages
564
Éditeur
Jones Cliff B., Liu Zhiming, Woodcock Jim
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9783540752202: Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

Edition présentée

ISBN 10 :  354075220X ISBN 13 :  9783540752202
Editeur : Springer, 2007
Couverture souple