Articles liés à Tools and Algorithms for the Construction and Analysis...

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.

(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

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