Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions - Yves Bertot,Pierre Castéran - cover
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions - Yves Bertot,Pierre Castéran - cover
LIBRO INGLESE

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

di Yves Bertot (Autore) ,
Pierre Castéran (Autore)
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010
110,90 € +1110 punti Effe
Venditore: Feltrinelli
Articolo acquistabile con Carta del Docente
Articolo acquistabile con Carta Cultura Giovani e Carta del Merito
Paga con Klarna in 3 rate senza interessi per ordini superiori a 39 €
Klarna
Dati e Statistiche
Salvato in 0 liste dei desideri
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions
Disponibilità in 2 settimane
110,90 €
110,90 €
Disponibilità in 2 settimane

Descrizione


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.

Dettagli

Pagine:
472 p.
Testo in English
Dimensioni:
235 x 155 mm
EAN:
9783642058806

Questo prodotto lo trovi anche

Libri in inglese Science, Computer & Technology Computer Applications & Software Software Development & Engineering / General
Libri in inglese Science, Computer & Technology Computer System Administration Systems Architecture / General
Informazioni e Contatti sulla Sicurezza dei Prodotti

Le schede prodotto sono aggiornate in conformità al Regolamento UE 988/2023. Laddove ci fossero taluni dati non disponibili per ragioni indipendenti da Feltrinelli, vi informiamo che stiamo compiendo ogni ragionevole sforzo per inserirli. Vi invitiamo a controllare periodicamente il sito www.lafeltrinelli.it per eventuali novità e aggiornamenti.
Per le vendite di prodotti da terze parti, ciascun venditore si assume la piena e diretta responsabilità per la commercializzazione del prodotto e per la sua conformità al Regolamento UE 988/2023, nonché alle normative nazionali ed europee vigenti.

Per informazioni sulla sicurezza dei prodotti, contattare productsafety@feltrinelli.it

​