Saat noutopistetoimituksen veloituksetta*, kun tilauksesi arvo ylittää 59 €!
*Koskee yksityisasiakkaiden tilauksia, jotka toimitetaan Suomeen.
KIRJAUDU
Types for Proofs and Programs - International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
51,10 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 323 sivua
Asu: Pehmeäkantinen kirja
Painos: 2009 ed.
Julkaisuvuosi: 2009, 19.06.2009 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 5497
Sivumäärä: 323 sivua
Asu: Pehmeäkantinen kirja
Painos: 2009 ed.
Julkaisuvuosi: 2009, 19.06.2009 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 5497
These proceedings contain a selection of refereed papers presented at or - lated to the Annual Workshop of the TYPES project (EU coordination action 510996), which was held during March 26–29, 2008 in Turin, Italy.
Tilaustuote
Arvioimme, että tuote lähetetään meiltä noin 5-6 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 5-6 viikossa
Näytä kaikki tuotetiedot
ISBN:
9783642024436
Aihealue: