Saat noutopistetoimituksen veloituksetta*, kun tilauksesi arvo ylittää 39 €!
*Koskee yksityisasiakkaiden tilauksia, jotka toimitetaan Suomeen.
KIRJAUDU
Types for Proofs and Programs - International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers
51,40 €
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(avautuu ponnahdusikkunassa))
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 1512
Sivumäärä: 380 sivua
Asu: Pehmeäkantinen kirja
Painos: 1998 ed.
Julkaisuvuosi: 1998, 07.10.1998 (lisätietoa(avautuu ponnahdusikkunassa))
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 1512
This volume presents the revised proceedings of a workshop on type proofs and programs. All 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.
Tilaustuote(avautuu ponnahdusikkunassa)
Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | 🎄 Tämä tuote ehtii jouluksi, kun teet tilauksen viimeistään 30.11.2025
Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | 🎄 Tämä tuote ehtii jouluksi, kun teet tilauksen viimeistään 30.11.2025
Näytä kaikki tuotetiedot
ISBN:
9783540651376
Aihealue: