SULJE VALIKKO

avaa valikko

Christine Paulin-Mohring | Akateeminen Kirjakauppa

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



Types for Proofs and Programs - International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers
Eduardo Gimenez; Christine Paulin-Mohring
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1998)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Mathematics of Program Construction - 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings
Philippe Audebaud; Christine Paulin-Mohring
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2008)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Types for Proofs and Programs - International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selecte
Jean-Christophe Filliatre; Christine Paulin-Mohring; Benjamin Werner
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2006)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Interactive Theorem Proving - 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings
Sandrine Blazy; Christine Paulin-Mohring; David Pichardie
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2013)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Interactive Theorem Proving - 4th International Conference, Itp 2013, Rennes, France, July 22-26, 2013, Proceedings
Sandrine Blazy; Christine Paulin-Mohring; David Pichardie
Springer (2013)
Pehmeäkantinen kirja
116,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Types for Proofs and Programs - International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers
49,60 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 380 sivua
Asu: Pehmeäkantinen kirja
Painos: 1998 ed.
Julkaisuvuosi: 1998, 07.10.1998 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 1512
This book constitutes the thoroughly revised post-workshop proceedings of the first annual workshop held under the auspices of the ESPRIT Working Group 21900 TYPES in Aussois, France in December 1996.
The 18 revised full papers presented in the book were carefully reviewed and selected from the 30 papers accepted for presentation at the workshop. All current aspects of type theory and type systems and their applications to program verification and theorem proving are addressed; the proof systems and theorem provers dealt with include Coq, LEGO, and Isabelle/HOL.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Types for Proofs and Programs - International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Paperszoom
Näytä kaikki tuotetiedot
ISBN:
9783540651376
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste