KIRJAUDU
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change : 6th
51,40 €
Springer
Sivumäärä: 547 sivua
Asu: Pehmeäkantinen kirja
Painos: 2014 ed.
Julkaisuvuosi: 2014, 07.10.2014 (lisätietoa(avautuu ponnahdusikkunassa))
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 8802
Sivumäärä: 547 sivua
Asu: Pehmeäkantinen kirja
Painos: 2014 ed.
Julkaisuvuosi: 2014, 07.10.2014 (lisätietoa(avautuu ponnahdusikkunassa))
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 8802
The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, held in Imperial, Corfu, Greece, in October 2014.
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
Myymäläsaatavuus
Näytä kaikki tuotetiedot
ISBN:
9783662452332
Aihealue: