Articles liés à Automated Technology for Verification and Analysis:...

Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings - Couverture souple

 
9783319249544: Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
Couverture souple
ISBN 10 : 3319249541 ISBN 13 : 9783319249544
Editeur : Springer, 2016

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

9783319249520: Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

Edition présentée

ISBN 10 :  3319249525 ISBN 13 :  9783319249520
Editeur : Springer, 2015
Couverture souple