KIRJAUDU
Types for Proofs and Programs : International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers
51,10 €
Springer
Sivumäärä: 210 sivua
Asu: Pehmeäkantinen kirja
Painos: 1995 ed.
Julkaisuvuosi: 1995, 18.10.1995 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 996
Sivumäärä: 210 sivua
Asu: Pehmeäkantinen kirja
Painos: 1995 ed.
Julkaisuvuosi: 1995, 18.10.1995 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 996
The papers in this collection address various aspects of developing computer-assisted proofs and programs using a logical framework. The text deals with type theory, and programs using logical frameworks based on it, including ALF, Coq and LEGO.
Tilaustuote
Arvioimme, että tuote lähetetään meiltä noin 4-5 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 4-5 viikossa
Myymäläsaatavuus
Näytä kaikki tuotetiedot
ISBN:
9783540605799
Aihealue: