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
86,00 €
Springer
Sivumäärä: 472 sivua
Asu: Pehmeäkantinen kirja
Painos: Softcover reprint of
Julkaisuvuosi: 2010, 15.12.2010 (lisätietoa)
Kieli: Englanti
Tuotesarja: Texts in Theoretical Computer Science. An EATCS Series
Sivumäärä: 472 sivua
Asu: Pehmeäkantinen kirja
Painos: Softcover reprint of
Julkaisuvuosi: 2010, 15.12.2010 (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 1-3 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 1-3 viikossa.
Näytä kaikki tuotetiedot
ISBN:
9783642058806
Aihealue: