Saat noutopistetoimituksen veloituksetta*, kun tilauksesi arvo ylittää 59 €!
*Koskee yksityisasiakkaiden tilauksia, jotka toimitetaan Suomeen.
KIRJAUDU
| COMPUTER AIDED VERIFICATION - 27TH INTERNATIONAL CONFERENCE, CAV 2015, SAN FRANCISCO, CA, USA, JULY 18-24, 2015, PROCEEDINGS, PA Sivumäärä: 469 Kirjoittaja: Kroening, Daniel; Păsăreanu, Corina S. Kustantaja: Springer International Publishing AG Kirjan kieli: Englanti Asu: Pehmeäkantinen kirja Painos: 1st ed. 2015 Julkaisuvuosi: 2015 | |||
| |||