EAN: 9783642341878

Bilder-Quelle: discount24.de - Sport-Freizeit

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.

Produktinformationen zuletzt aktualisiert am
04.04.2025 um 19:57 Uhr

Produktzustand:

Verfügbarkeit:

Versandkosten:

Sonderpreis: