Articoli correlati a Tools for Practical Software Verification: International...

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

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

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2012
Lingua
Inglese
ISBN 10 
3642357474
ISBN 13 
9783642357473
Rilegatura
Paperback
Contatto del produttore
non disponibile

(nessuna copia disponibile)

Cerca:



Inserisci un desiderata

Non riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!

Inserisci un desiderata

Altre edizioni note dello stesso titolo

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

Edizione in evidenza

ISBN 10:  3642357458 ISBN 13:  9783642357459
Casa editrice: Springer, 2012
Brossura