SULJE VALIKKO

avaa valikko

João Lourenҫo | Akateeminen Kirjakauppa

HARDWARE AND SOFTWARE: VERIFICATION AND TESTING - 7TH INTERNATIONAL HAIFA VERIFICATION CONFERENCE, HVC 2011, HAIFA, ISRAEL, DECE

Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, Dece
Kerstin Eder; João Lourenҫo; Onn Shehory
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2012)
Pehmeäkantinen kirja
45,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, Dece
45,80 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 263 sivua
Asu: Pehmeäkantinen kirja
Painos: 2012
Julkaisuvuosi: 2012, 09.10.2012 (lisätietoa)
Kieli: Englanti
Tuotesarja: Programming and Software Engineering
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 papers are organized in topical sections on synthesis, formal verification, software quality, testing and coverage, experience and tools, and posters- student event.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, Dece
Näytä kaikki tuotetiedot
ISBN:
9783642341878
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste