SULJE VALIKKO

avaa valikko

Verified Software: Theories, Tools, Experiments - Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 200
49,60 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 263 sivua
Asu: Pehmeäkantinen kirja
Painos: 2008
Julkaisuvuosi: 2008, 22.09.2008 (lisätietoa)
Kieli: Englanti
Tuotesarja: Programming and Software Engineering
This volume contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canada, in October 2008. The 16 papers presented together with 4 invited talks were carefully revised and selected for inclusion in the book. This second conference formally inaugurates the Verified Software Initiative (VSI), a fifteen-year, co-operative, international project directed at the scientific challenges of large-scale software verification. The scope of the cooperative effort includes the sharing and interoperability of tools, the alignment of theory and practice, the identification of challenge problems, the construction of benchmark suites, and the execution of large-scale experiments.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Verified Software: Theories, Tools, Experiments - Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 200
Näytä kaikki tuotetiedot
ISBN:
9783540878728
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste