Saat noutopistetoimituksen veloituksetta*, kun tilauksesi arvo ylittää 59 €!
*Koskee yksityisasiakkaiden tilauksia, jotka toimitetaan Suomeen.
|
|

avaa valikko

Verification, Model Checking, and Abstract Interpretation - 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, Ja
Viktor Kuncak, Andrey Rybalchenko
51,10 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 457 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2012, 12.01.2012 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 7148
This book constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located with the Symposium on Principles of Programming Languages, POPL 2012.

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.
Haluan myydä tämän tuotteen
Verification, Model Checking, and Abstract Interpretation - 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, JaSuurenna kuva
Näytä kaikki tuotetiedot
ISBN:
9783642279393
Aihealue:
Ulkomaiset kirjat » Computers » Computer Science
Kansikuva tuotteelle