SULJE VALIKKO

avaa valikko

Yves Bertot | Akateeminen Kirjakauppa

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



Interactive Theorem Proving and Program Development - Coq’Art: The Calculus of Inductive Constructions
Yves Bertot; Pierre Castéran
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2004)
Kovakantinen kirja
107,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Theorem Proving in Higher Order Logics - 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedi
Yves Bertot; Gilles Dowek; Andre Hirschowitz; Christine Paulin; Laurent Thery
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1999)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
From Semantics to Computer Science: Essays in Honour of Gilles Kahn
Yves Bertot; Gerard Huet; Jean-Jacques Levy; Gordon Plotkin
Cambridge University Press (2009)
Kovakantinen kirja
134,00
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-Verlag Berlin and Heidelberg GmbH & Co. KG
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.

Foreword by: G. Huet, C. Paulin-Mohring

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa | Tilaa jouluksi viimeistään 27.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