Artículos relacionados a Isabelle/HOL: A Proof Assistant for Higher-Order Logic

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

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

 
9783662182291: Isabelle/HOL: A Proof Assistant for Higher-Order Logic
Tapa blanda
ISBN 10: 3662182297 ISBN 13: 9783662182291
Editorial: Springer, 2014

Esta edición ISBN ya no está disponible.

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Editorial
Springer
Año de publicación
2014
Idioma
Inglés
ISBN 10 
3662182297
ISBN 13 
9783662182291
Encuadernación
Paperback
Contacto del fabricante
no disponible

(Ningún ejemplar disponible)

Buscar:



Crear una petición

¿No encuentra el libro que está buscando? Seguiremos buscando por usted. Si alguno de nuestros vendedores lo incluye en IberLibro, le avisaremos.

Crear una petición

Otras ediciones populares con el mismo título

9783540433767: Isabelle/HOL: A Proof Assistant for Higher-Order Logic: 2283 (Lecture Notes in Computer Science)

Edición Destacada

ISBN 10:  3540433767 ISBN 13:  9783540433767
Editorial: Springer, 2002
Tapa blanda