Computer Aided Verification
Costas Courcoubetis (ed.)
Broschiertes Buch

Computer Aided Verification

5th International Conference, CAV'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings

Herausgegeben: Courcoubetis, Costas
Versandkostenfrei!
Versandfertig in 1-2 Wochen
39,99 €
inkl. MwSt.
PAYBACK Punkte
20 °P sammeln!
This volume contains the proceedings of the Fifth Conferenceon Computer-Aided Verfication, held in Crete, Greece, inJune/July 1993.The objective of the CAV conferences is to bring togetherresearchers and practitioners interested in the developmentanduse of methods, tools, and theories for thecomputer-aided verification of concurrent systems. Theconferences provide an opportunity for comparing variousverfication methods and tools that can be used to assist theapplications designer. Emphasis is placed on new researchresults and the application of existing methods to realverification problems.The...