Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Pro - Couverture souple

 
9783642198366: Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Pro
Couverture souple
ISBN 10 : 3642198368 ISBN 13 : 9783642198366
Editeur : Springer, 2011

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

Éditeur
Springer
Date d'édition
2011
Langue
anglais
ISBN 10 
3642198368
ISBN 13 
9783642198366
Reliure
Paperback
Nombre de pages
412
Éditeur
Abdulla Parosh Aziz, Leino K. Rustan M.
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9783642198342: Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, Tacas 2011, Held As Part of the Joint European ... Germany, March 26--april 3, 2011, Proceedings

Edition présentée

ISBN 10 :  3642198341 ISBN 13 :  9783642198342
Editeur : Springer-Verlag Berlin and Heide..., 2011
Couverture souple