|
|

avaa valikko

Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011,
Marko Van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk
51,10 €
Springer
Sivumäärä: 383 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2011, 02.08.2011 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 6898
This book constitutes the refereed proceedings of the Second International Conference on Interactive Theorem proving, ITP 2011, held in Berg en Dal, The Netherlands, in August 2011.

LISÄÄ OSTOSKORIIN
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Tilaustuote

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 1-3 viikossa.
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011,Suurenna kuva
Näytä kaikki tuotetiedot
ISBN:
9783642228629
Aihealue:
Ulkomaiset kirjat » Computers » Programming » Software Development
Kansikuva tuotteelle