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

Libro
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: 119.34 EUR
(precio actualizado 19.09.2024)

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:

Godel, Escher, Bach
Precio: 23.50 EUR
Interactive Theorem Proving and Program Development
Precio: 64.24 EUR
Distribution Logistics
Precio: 151.98 EUR 110.52 EUR
Theorem Proving in Higher Order Logics
Precio: 82.91 EUR 56.38 EUR
Solicitud inválida.