Articles liés à Verification, Model Checking, and Abstract Interpretation:...

Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings - Couverture souple

 
9783662460825: Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
Couverture souple
ISBN 10 : 3662460823 ISBN 13 : 9783662460825
Editeur : Springer, 2015

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

Synopsis

Program verification.- Model checking.- Abstract interpretation.- Abstract domains.- Program synthesis.- Static analysis.- Deductive methods.- Program certification.- Error diagnosis.- Program transformation.- Hybrid and cyberphysical systems.

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

Éditeur
Springer
Date d'édition
2015
Langue
anglais
ISBN 10 
3662460823
ISBN 13 
9783662460825
Reliure
Paperback
Nombre de pages
488
Éditeur
D'Souza Deepak, Lal Akash, Larsen Kim Guldstrand
Coordonnées du fabricant
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

9783662460801: Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings

Edition présentée

ISBN 10 :  3662460807 ISBN 13 :  9783662460801
Editeur : Springer, 2015
Couverture souple