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 136.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Damm, Werner (Hrsg.)
- ISBN: 978-3-540-73367-6
- EAN: 9783540733676
- Produktnummer: 3092009
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 2007
- Seitenangabe: 584 S.
- Masse: H23.5 cm x B15.5 cm x D3.1 cm 873 g
- Auflage: 2007
- Abbildungen: Paperback
- Gewicht: 873
13 weitere Werke von Holger (Hrsg.) Hermanns:
Validation of Stochastic Systems
19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
Ebook (PDF Format)
CHF 116.00
CONCUR 2006 - Concurrency Theory
19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
Ebook (PDF Format)
CHF 133.50
Computer Aided Verification
19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
Ebook (PDF Format)
CHF 118.00
Bewertungen
Anmelden