Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions
![]() | 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: ![]() | Theorem Proving in Higher Order Logics Precio: ![]() |