Articles liés à Computer Aided Verification: 29th International Conference,...

Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II - Couverture souple

 
9783319633916: Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
Couverture souple
ISBN 10 : 3319633910 ISBN 13 : 9783319633916
Editeur : Springer, 2017

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

Synopsis

Data Driven Techniques.-  Runtime Verication.- Cyber-Physical Systems.- Concurrency.- Analysis of Software and Hardware.- Foundations of Verification.- Distributed and Networked Systems.- Synthesis.- Decision Procedures and their Applications.- Software Analysis.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2017
Langue
anglais
ISBN 10 
3319633910
ISBN 13 
9783319633916
Reliure
Paperback
Coordonnées du fabricant
non disponible
Personne responsable
non 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

9783319633893: Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

Edition présentée

ISBN 10 :  3319633899 ISBN 13 :  9783319633893
Editeur : Springer, 2017
Couverture souple