Articles liés à Formal Methods and Hybrid Real-Time Systems

Formal Methods and Hybrid Real-Time Systems ISBN 13 : 9783540844280

Formal Methods and Hybrid Real-Time Systems - Couverture souple

 
9783540844280: Formal Methods and Hybrid Real-Time Systems

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

(Aucun exemplaire disponible)

Chercher:



Créez une demande

Vous ne trouvez pas le livre que vous recherchez ? Nous allons poursuivre vos recherches. Si l'un de nos libraires l'ajoute aux offres sur AbeBooks, nous vous le ferons savoir !

Créez une demande

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