KIRJAUDU
Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, Dece
47,20 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 263 sivua
Asu: Pehmeäkantinen kirja
Painos: 2012 ed.
Julkaisuvuosi: 2012, 09.10.2012 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 7261
Sivumäärä: 263 sivua
Asu: Pehmeäkantinen kirja
Painos: 2012 ed.
Julkaisuvuosi: 2012, 09.10.2012 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 7261
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Haifa Verification Conference, HVC 2011, held in Haifa, Israel in December 2011.
The 15 revised full papers presented together with 3 tool papers and 4 posters were carefully reviewed and selected from 43 submissions.
The 15 revised full papers presented together with 3 tool papers and 4 posters were carefully reviewed and selected from 43 submissions.
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:
9783642341878
Aihealue: