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

Idioma: inglés

Editorial: Springer Spektrum, 2010

3642058809 / 9783642058806

Serie: Libro 37 de 45 - Texts in Theoretical Computer Science. An EATCS

  • Tapa blanda
  • Nuevo
Ver todos los detalles

Librería: Home-set, Mannheim, AlemaniaHome-set

Vendedor de 5 estrellas

Vendedor de IberLibro desde 13 de abril de 2026

Tapa blanda

Condición: Nuevo

EUR 113,68

Envío por EUR 49,90 
Se envía de Alemania a Estados Unidos de America

Cantidad disponible: 2 disponibles

Añadir al carrito
Devoluciones gratuitas de 30 días

Descripción del artículo del vendedor

Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the calculus of inductive constructions, a variant of type theory. This book provides a pragmatic introduction to the development of proofs and certified programs using Coq. With its large collection of examples and exercises it is an invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software. Sprache: Englisch Gewicht in Gramm: 750.

Título
Interactive Theorem Proving and Program Development Coq'Art: The Calculus of Inductive Constructions
Autor
Yves Bertot, Pierre Cast?ran
Editorial
Springer Spektrum
Año de publicación
2010
Estado
Neu
Encuadernación
Softcover/Taschenbuch
Idioma
inglés
ISBN 10
3642058809
ISBN 13
9783642058806
Peso del artículo
750 gramos
Serie
Libro 37 de 45: Texts in Theoretical Computer Science. An EATCS

Home-set

Mannheim, Alemania

Vendedor de 5 estrellas

Vendedor de IberLibro desde 13 de abril de 2026

Tarifas de envío de Alemania a Estados Unidos de America

ArtículoDe 10 a 12 días hábilesDe 8 a 10 días hábiles
Primer artículoEUR 49,90EUR 75,00
Los plazos de entrega los establecen los vendedores y varían según el transportista y la ubicación. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relación con cargos adicionales para cubrir cualquier aumento en los costes de envío de los artículos.

Métodos de pago

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Cheque

Especialidad

Buch

Información empresarial del vendedor

Home-set

Alemania