Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions

Autor: Yves Bertot

Libro
paperback
Categoría: Fundamentos matemáticos
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Nuestro precio: 87.22 EUR
(precio actualizado 23.09.2024)

Envío gratuito a España más

Comentarios de los lectores y reseñas de libros: Amazon

Ver y pedir

Junto con este libro también recomendamos los siguientes libros:

Building Proofs
Precio: 22.99 EUR
Interactive Theorem Proving and Program Development
Precio: 91.74 EUR
Theorem Proving in Higher Order Logics
Precio: 82.91 EUR 56.38 EUR
An Illustrated Book of Bad Arguments
Precio: 17.62 EUR
Solicitud inválida.