Articoli correlati a Isabelle/HOL: A Proof Assistant for Higher-Order Logic

Isabelle/HOL: A Proof Assistant for Higher-Order Logic - Brossura

Nipkow, Tobias; Paulson, Lawrence C.; Wenzel, Markus

 
9783662182291: Isabelle/HOL: A Proof Assistant for Higher-Order Logic
Brossura
ISBN 10: 3662182297 ISBN 13: 9783662182291
Casa editrice: Springer, 2014

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

Elementary Techniques.- 1. The Basics.- 2. Functional Programming in HOL.- 3. More Functional Programming.- 4. Presenting Theories.- Logic and Sets.- 5. The Rules of the Game.- 6. Sets, Functions, and Relations.- 7. Inductively Defined Sets.- Advanced Material.- 8. More about Types.- 9. Advanced Simplification, Recursion, and Induction.- 10. Case Study: Verifying a Security Protocol.

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

Editore
Springer
Data di pubblicazione
2014
Lingua
Inglese
ISBN 10 
3662182297
ISBN 13 
9783662182291
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

9783540433767: Isabelle/HOL: A Proof Assistant for Higher-Order Logic: 2283

Edizione in evidenza

ISBN 10:  3540433767 ISBN 13:  9783540433767
Casa editrice: Springer, 2002
Brossura