Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European ... ... Cyprus, March 20-29, 2010, Pro - Couverture souple

 
9783642120039: Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European ... ... Cyprus, March 20-29, 2010, Pro
Couverture souple
ISBN 10 : 3642120032 ISBN 13 : 9783642120039
Editeur : Springer, 2011

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

Éditeur
Springer
Date d'édition
2011
Langue
anglais
ISBN 10 
3642120032
ISBN 13 
9783642120039
Reliure
Paperback
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9783642120015: Tools and Algorithms for the Construction and Analysis of Systems

Edition présentée

ISBN 10 :  3642120016 ISBN 13 :  9783642120015
Editeur : Springer, 2010
Couverture souple