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

Lingua: inglese

Editore: Springer Spektrum, 2010

3642058809 / 9783642058806

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

Da: Home-set, Mannheim, GermaniaHome-set

Venditore con 5 stelle

Venditore AbeBooks dal 13 aprile 2026

Brossura

Condizione: Nuovo

EUR 113,68

EUR 49,90 spedizione 
Spedito da Germania a U.S.A.

Quantità: 2 disponibili

Aggiungi al carrello
Resi gratuiti per 30 giorni

Descrizione dell’articolo da parte del venditore

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.

Titolo
Interactive Theorem Proving and Program Development Coq'Art: The Calculus of Inductive Constructions
Autore
Yves Bertot, Pierre Cast?ran
Editore
Springer Spektrum
Anno di pubblicazione
2010
Condizione
Neu
Rilegatura
Softcover/Taschenbuch
Lingua
inglese
ISBN 10
3642058809
ISBN 13
9783642058806
Peso dell'articolo
750 grammi
Serie
Libro 37 di 45: Texts in Theoretical Computer Science. An EATCS

Home-set

Mannheim, Germania

Venditore con 5 stelle

Venditore AbeBooks dal 13 aprile 2026

Tariffe di spedizione da Germania a U.S.A.

ArticoloDa 10 a 12 giorni lavorativiDa 8 a 10 giorni lavorativi
Primo articoloEUR 49,90EUR 75,00
I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.

Metodi di pagamento

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

Specializzazione

Buch

Informazioni sull’azienda del venditore

Home-set

Germania