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

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III - Couverture souple

 
9783030175030: Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III
Couverture souple
ISBN 10 : 3030175030 ISBN 13 : 9783030175030
Editeur : Springer, 2019

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

  • ÉditeurSpringer
  • Date d'édition2019
  • ISBN 10 3030175030
  • ISBN 13 9783030175030
  • ReliurePaperback
  • Langueanglais

(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

9783030175016: Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Edition présentée

ISBN 10 :  3030175014 ISBN 13 :  9783030175016
Editeur : Springer, 2019
Couverture souple