KIRJAUDU
Verified Software: Theorie, Tools, Experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19,
51,10 €
Springer
Sivumäärä: 345 sivua
Asu: Pehmeäkantinen kirja
Painos: 2014 ed.
Julkaisuvuosi: 2014, 23.01.2014 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 8164
Sivumäärä: 345 sivua
Asu: Pehmeäkantinen kirja
Painos: 2014 ed.
Julkaisuvuosi: 2014, 23.01.2014 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 8164
This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2013, held in Menlo Park, CA, USA, in May 2013.
Tilaustuote
Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
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.
Myymäläsaatavuus
Näytä kaikki tuotetiedot
ISBN:
9783642541070
Aihealue: