Computer Aided Verification
(Sprache: Englisch)
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...
Leider schon ausverkauft
versandkostenfrei
Buch
72.76 €
Produktdetails
Produktinformationen zu „Computer Aided Verification “
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.
Bibliographische Angaben
- 2007, XV, 562 Seiten, Maße: 15,6 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben: Werner Damm, Holger Hermanns
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3540733671
- ISBN-13: 9783540733676
Sprache:
Englisch
Kommentar zu "Computer Aided Verification"
0 Gebrauchte Artikel zu „Computer Aided Verification“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Computer Aided Verification".
Kommentar verfassen