Saat noutopistetoimituksen veloituksetta*, kun tilauksesi arvo ylittää 59 €!
*Koskee yksityisasiakkaiden tilauksia, jotka toimitetaan Suomeen.
KIRJAUDU
Interactive Theorem Proving and Program Development : Coq’Art: The Calculus of Inductive Constructions
120,90 €
Springer
Sivumäärä: 472 sivua
Asu: Kovakantinen kirja
Painos: 2004 ed.
Julkaisuvuosi: 2004, 14.05.2004 (lisätietoa)
Kieli: Englanti
Tuotesarja: Texts in Theoretical Computer Science. An EATCS Series
Sivumäärä: 472 sivua
Asu: Kovakantinen kirja
Painos: 2004 ed.
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.
Foreword by: G. Huet, C. Paulin-Mohring
This book provides a pragmatic introduction to the development of proofs and certified programs using Coq.
Foreword by: G. Huet, C. Paulin-Mohring
Tilaustuote
Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
Tilaustuote
Tämän tuotteen tilaamme kustantajalta tai tukkurilta varastoomme. Saatavuusarvio on tuotekohtainen. Lähetämme toimitusvahvistuksen heti, kun tuote on toimitettu varastoltamme rahdinkuljettajalle.Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
Näytä kaikki tuotetiedot
ISBN:
9783540208549
Aihealue: