SULJE VALIKKO

avaa valikko

Pierre Castéran | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 2 tuotetta
Haluatko tarkentaa hakukriteerejä?



Interactive Theorem Proving and Program Development : Coq’Art: The Calculus of Inductive Constructions
Yves Bertot; Pierre Castéran
Springer (2004)
Kovakantinen kirja
107,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Interactive Theorem Proving and Program Development : Coq’Art: The Calculus of Inductive Constructions
Yves Bertot; Pierre Castéran
Springer (2010)
Pehmeäkantinen kirja
78,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Interactive Theorem Proving and Program Development : Coq’Art: The Calculus of Inductive Constructions
107,50 €
Springer
Sivumäärä: 472 sivua
Asu: Kovakantinen kirja
Painos: 2004
Julkaisuvuosi: 2004, 14.05.2004 (lisätietoa)
Kieli: Englanti
Tuotesarja: Texts in Theoretical Computer Science. An EATCS Series

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.



Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 5-6 viikossa. | Tilaa jouluksi viimeistään 13.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Interactive Theorem Proving and Program Development : Coq’Art: The Calculus of Inductive Constructionszoom
Näytä kaikki tuotetiedot
ISBN:
9783540208549
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste