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 (2004)
Kovakantinen kirja
111,40
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
51,40
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
121,70
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
81,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Interactive Theorem Proving and Program Development : Coq’Art: The Calculus of Inductive Constructions
111,40 €
Springer
Sivumäärä: 472 sivua
Asu: Kovakantinen kirja
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 4-5 viikossa
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