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

Autor: Yves Bertot, Yves Bertot, P. Castéran

hardback Categoría: Computer Programming / Desarrollo de Software Categoría: Ciencias de la Computación Categoría: Computación: general Categoría: Ingeniería de software Categoría: Inteligencia artificial Categoría: Arquitectura de Computadores y Diseño Lógico Categoría: Análisis y Diseño de Sistemas Categoría: La lógica matemática Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Nuestro precio: 110.02 EUR (precio actualizado 21.08.2025) Envío gratuito a España más Comentarios de los lectores y reseñas de libros: Amazon

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

Theorem Proving in Higher Order Logics Precio: 82.91 EUR 50.25 EUR

Interactive Theorem Proving and Program Development Precio: 64.24 EUR

Godel, Escher, Bach Precio: 23.50 EUR

Distribution Logistics Precio: 151.98 EUR 97.51 EUR

Libros de la categoría La lógica matemática

Más que libros

The Times Su Doku Book 1: 100 Challenging Puzzles from the Times Precio: 10.86 EUR Mostrar detalles del libro	The Times Fiendish Su Doku Book 5: 200 Challenging Puzzles from the Times Precio: 13.13 EUR Mostrar detalles del libro
The Times Killer Su Doku Book 8: 150 Challenging Puzzles from the Times Precio: 11.16 EUR Mostrar detalles del libro	The Times Killer Su Doku Book 9: 150 Challenging Puzzles from the Times Precio: 11.17 EUR Mostrar detalles del libro
The Times Super Fiendish Su Doku Book 1: 200 Challenging Puzzles from the Times Precio: 11.44 EUR Mostrar detalles del libro	The Times Super Fiendish Su Doku Book 2: 200 Challenging Puzzles from the Times Precio: 11.47 EUR Mostrar detalles del libro
The Times Fiendish Su Doku Book 9: 200 Challenging Puzzles from the Times Precio: 10.71 EUR Mostrar detalles del libro	The Times Super Fiendish Su Doku. Book 4: 200 Challenging Puzzles from the Times Precio: 11.53 EUR Mostrar detalles del libro
The Times Codeword. Book 7: 200 Cracking Logic Puzzles Precio: 13.13 EUR Mostrar detalles del libro	The Times Codeword. Book 8: 200 Cracking Logic Puzzles Precio: 10.40 EUR Mostrar detalles del libro
Bridge Secrets: Don'T Miss a Trick Precio: 11.27 EUR Mostrar detalles del libro	Limitless Mind: Learn, Lead and Live without Barriers Precio: 18.09 EUR Mostrar detalles del libro
Maths on the Back of an Envelope: Clever Ways to (Roughly) Calculate Anything Precio: 16.42 EUR Mostrar detalles del libro	Maths on the Back of an Envelope: Clever Ways to (Roughly) Calculate Anything Precio: 12.81 EUR Mostrar detalles del libro
The Sunday Times Teasers. Book 1: Challenge Yourself with 100 Lateral-Thinking Puzzles Precio: 16.46 EUR Mostrar detalles del libro	At Sixes and Sevens: How to Understand Numbers and Make Maths Easy Precio: 18.33 EUR Mostrar detalles del libro
At Sixes and Sevens: How to Understand Numbers and Make Maths Easy Precio: 21.36 EUR Mostrar detalles del libro	Schaum's Outline of Theory and Problems of Set Theory and Related Topics Precio: 29.86 EUR Mostrar detalles del libro
Schaum's Outline of Theory and Problems of Boolean Algebra and Switching Circuits Precio: 28.75 EUR Mostrar detalles del libro	Math Proofs Demystified Precio: 19.67 EUR 0.00 EUR Mostrar detalles del libro