Saat noutopistetoimituksen veloituksetta*, kun tilauksesi arvo ylittää 39 €!
*Koskee yksityisasiakkaiden tilauksia, jotka toimitetaan Suomeen.
KIRJAUDU
Automated Technology for Verification and Analysis : 13th International Symposium, ATVA 2015, Shanghai, China, October
58,80 €
Springer
Sivumäärä: 520 sivua
Asu: Pehmeäkantinen kirja
Painos: 1st ed. 2015
Julkaisuvuosi: 2015, 22.11.2015 (lisätietoa(avautuu ponnahdusikkunassa))
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 9364
Sivumäärä: 520 sivua
Asu: Pehmeäkantinen kirja
Painos: 1st ed. 2015
Julkaisuvuosi: 2015, 22.11.2015 (lisätietoa(avautuu ponnahdusikkunassa))
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 9364
This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015.
The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 submissions.
The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 submissions.
Tilaustuote(avautuu ponnahdusikkunassa)
Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa. | 🎄 Tämä tuote ehtii jouluksi, kun teet tilauksen viimeistään 27.11.2025
Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa. | 🎄 Tämä tuote ehtii jouluksi, kun teet tilauksen viimeistään 27.11.2025
Näytä kaikki tuotetiedot
ISBN:
9783319249520
Asiasanat:
Aihealue: