Computer Aided Verification
19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
This book constitutes the refereed proceedings of the 19th International Conference on Computer Aided Verification. Thirty-three state-of-the-technology papers are presented, together with fourteen tool papers, three invited papers, and four invited tutorials. All the current issues in computer aided verification and model checking-from foundational and methodological issues to the evaluation of major tools and systems-are addressed.
CHF 118.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: Hermanns, Holger (Hrsg.)
- ISBN: 978-3-540-73368-3
- EAN: 9783540733683
- Produktnummer: 33313603
- Verlag: Springer-Verlag GmbH
- Sprache: Englisch
- Erscheinungsjahr: 2007
- Seitenangabe: 562 S.
- Plattform: PDF
- Masse: 13'295 KB
- Auflage: 2007
- Abbildungen: Bibliographie
7 weitere Werke von Werner (Hrsg.) Damm:
Bewertungen
Anmelden