Computer Aided Verification
Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings
This volume gives the proceedings of the Fourth Workshop onComputer-Aided Verification (CAV '92), held in Montreal,June 29 - July 1, 1992. The objective of this series ofworkshops is to bring together researchers and practitionersinterested in the development and use of methods, tools andtheories for the computer-aided verification of concurrentsystems. The workshops provide an opportunity for comparingvarious verification methods and practical tools that can beused to assist the applications designer. Emphasis is placedon new research results and the application of existingresults to real verification problems.The volum…
Mehr
CHF 126.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Probst, David K. (Hrsg.)
- ISBN: 978-3-540-56496-6
- EAN: 9783540564966
- Produktnummer: 3257225
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 1993
- Seitenangabe: 440 S.
- Masse: H23.5 cm x B15.5 cm x D2.3 cm 569 g
- Auflage: 1993
- Abbildungen: Paperback
- Gewicht: 569
5 weitere Werke von Gregor von (Hrsg.) Bochmann:
Bewertungen
Anmelden