Articles liés à Tools for Practical Software Verification: International...

Tools for Practical Software Verification: International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures - Couverture souple

 
9783642357473: Tools for Practical Software Verification: International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures
Couverture souple
ISBN 10 : 3642357474 ISBN 13 : 9783642357473
Editeur : Springer, 2012

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

Synopsis

Model Checking and the State Explosion Problem.- From Program to Logic: An Introduction.- Introduction to the Coq Proof-Assistant for Practical Software Verification.- Advanced Theorem Proving Techniques in PVS and Applications.- Automatic Verification of Advanced Object-Oriented Features:.- The AutoProof Approach.- Using Dafny, an Automatic Program Verifier.

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

Éditeur
Springer
Date d'édition
2012
Langue
anglais
ISBN 10 
3642357474
ISBN 13 
9783642357473
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

9783642357459: Tools for Practical Software Verification: International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures

Edition présentée

ISBN 10 :  3642357458 ISBN 13 :  9783642357459
Editeur : Springer, 2012
Couverture souple