Computer Aided Verification
14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings
Herausgegeben:Brinksma, Ed; Larsen, Kim G.
Computer Aided Verification
14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings
Herausgegeben:Brinksma, Ed; Larsen, Kim G.
- Broschiertes Buch
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
This volume contains the proceedings of the conference on Computer Aided V- i?cation (CAV 2002), held in Copenhagen, Denmark on July 27-31, 2002. CAV 2002 was the 14th in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods for software and hardware systems. The conference covers the spectrum from theoretical - sults to concrete applications, with an emphasis on practical veri?cation tools, including algorithms and techniques needed for their implementation. The c- ference has traditionally drawn contributions from…mehr
- Hunt, Jr., Warren A. / Fabio Somenzi (eds.)Computer Aided Verification40,99 €
- Kousha Etessami / Sriram K. Rajamani (eds.)Computer Aided Verification77,99 €
- Werner Damm (Volume ed.) / Holger HermannsComputer Aided Verification39,99 €
- Rajeev Alur / Doron A. Peled (eds.)Computer Aided Verification79,99 €
- E. Allen Emerson / A. Prasad Sistla (eds.)Computer Aided Verification79,99 €
- Victor A. Carreno / Cesar Munoz / Sofiene Tashar (eds.)Theorem Proving in Higher Order Logics39,99 €
- Mark Aagaard / John Harrison (eds.)Theorem Proving in Higher Order Logics39,99 €
-
-
-
- Produktdetails
- Lecture Notes in Computer Science 2404
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 978-3-540-43997-4
- 2002
- Seitenzahl: 656
- Erscheinungstermin: 19. Juli 2002
- Englisch
- Abmessung: 235mm x 155mm x 36mm
- Gewicht: 912g
- ISBN-13: 9783540439974
- ISBN-10: 3540439978
- Artikelnr.: 23383919
- Lecture Notes in Computer Science 2404
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 978-3-540-43997-4
- 2002
- Seitenzahl: 656
- Erscheinungstermin: 19. Juli 2002
- Englisch
- Abmessung: 235mm x 155mm x 36mm
- Gewicht: 912g
- ISBN-13: 9783540439974
- ISBN-10: 3540439978
- Artikelnr.: 23383919