Computer Aided Verification
8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings
Mitarbeit:Alur, Rajeev; Henzinger, Thomas A.
Computer Aided Verification
8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings
Mitarbeit:Alur, Rajeev; Henzinger, Thomas A.
- Broschiertes Buch
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided Verification, CAV '96, held in New Brunswick, NJ, USA, in July/August 1996 as part of the FLoC '96 federated conference. The volume presents 32 revised full research contributions selected from a total of 93 submissions; also included are 20 carefully selected descriptions of tools and case studies. The set of papers reports the state-of-the-art of the theory and practice of computer assisted formal analysis methods for software and hardware systems; a certain emphasis is placed on verification…mehr
- WolperComputer Aided Verification40,99 €
- Rajeev Alur / Doron A. Peled (eds.)Computer Aided Verification79,99 €
- Gregor von Bochmann / David K. Probst (eds.)Computer Aided Verification40,99 €
- GrumbergComputer Aided Verification40,99 €
- Ed Brinksma / Kim G. Larsen (eds.)Computer Aided Verification79,99 €
- Kim G. Larsen / Arne Skou (eds.)Computer Aided Verification40,99 €
- Edmund M. Clarke / Robert P. Kurshan (eds.)Computer-Aided Verification40,99 €
-
-
-
The volume presents 32 revised full research contributions selected from a total of 93 submissions; also included are 20 carefully selected descriptions of tools and case studies. The set of papers reports the state-of-the-art of the theory and practice of computer assisted formal analysis methods for software and hardware systems; a certain emphasis is placed on verification tools and the algorithms and techniques that are needed for their implementation.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
- Produktdetails
- Lecture Notes in Computer Science 1102
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 978-3-540-61474-6
- 1999.
- Seitenzahl: 492
- Erscheinungstermin: 17. Juli 1996
- Englisch
- Abmessung: 235mm x 155mm x 27mm
- Gewicht: 630g
- ISBN-13: 9783540614746
- ISBN-10: 3540614745
- Artikelnr.: 09198293
- Lecture Notes in Computer Science 1102
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 978-3-540-61474-6
- 1999.
- Seitenzahl: 492
- Erscheinungstermin: 17. Juli 1996
- Englisch
- Abmessung: 235mm x 155mm x 27mm
- Gewicht: 630g
- ISBN-13: 9783540614746
- ISBN-10: 3540614745
- Artikelnr.: 09198293