Saat noutopistetoimituksen veloituksetta*, kun tilauksesi arvo ylittää 39 €!
*Koskee yksityisasiakkaiden tilauksia, jotka toimitetaan Suomeen.
KIRJAUDU
Verified Software. Theories, Tools, and Experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA,
51,40 €
Springer
Sivumäärä: 193 sivua
Asu: Pehmeäkantinen kirja
Painos: 2020 ed.
Julkaisuvuosi: 2020, 14.03.2020 (lisätietoa(avautuu ponnahdusikkunassa))
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 12031
Sivumäärä: 193 sivua
Asu: Pehmeäkantinen kirja
Painos: 2020 ed.
Julkaisuvuosi: 2020, 14.03.2020 (lisätietoa(avautuu ponnahdusikkunassa))
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 12031
This volume constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2019, held in New York City, NY, USA, in July 2019.
The 9 full papers presented were carefully revised and selected from 17 submissions.
The 9 full papers presented were carefully revised and selected from 17 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:
9783030415990
Aihealue: