Verwandte Artikel zu Tools for Practical Software Verification: International...

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

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

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2012
Sprache
Englisch
ISBN 10 
3642357474
ISBN 13 
9783642357473
Einband
Paperback
Kontakt zum Hersteller
Nicht verfügbar

(Keine Angebote verfügbar)

Buch Finden:



Kaufgesuch aufgeben

Sie finden Ihr gewünschtes Buch nicht? Wir suchen weiter für Sie. Sobald einer unserer Buchverkäufer das Buch bei AbeBooks anbietet, werden wir Sie informieren!

Kaufgesuch aufgeben

Weitere beliebte Ausgaben desselben Titels

9783642357459: Tools for Practical Software Verification: International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures: 7682 (Lecture Notes in Computer Science)

Vorgestellte Ausgabe

ISBN 10:  3642357458 ISBN 13:  9783642357459
Verlag: Springer, 2012
Softcover