KIRJAUDU
Types for Proofs and Programs : International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers
51,10 €
Springer
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
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 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
Arvioimme, että tuote lähetetään meiltä noin 3-4 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 3-4 viikossa
Myymäläsaatavuus
Näytä kaikki tuotetiedot
ISBN:
9783540651376
Aihealue: