{"product_id":"computer-aided-verification-5th-international-conference-cav93-elounda-greece-june-28-july-1-1993-proceedings-von-costas-courcoubetis-hrsg","title":"Computer Aided Verification","description":"This volume contains the proceedings of the Fifth Conference\non             Computer-Aided Verfication, held in Crete, Greece, in\nJune\/July             1993.\nThe objective of the CAV conferences is to bring                      together\nresearchers and practitioners interested in the development\nanduse of methods, tools, and theories for the\ncomputer-aided verification of  concurrent systems. The\nconferences provide an opportunity for comparing    various\nverfication methods and tools that can be used to assist            the\napplications designer. Emphasis is placed on new research\nresults   and the application of existing methods to real\nverification                problems.\nThe volume contains abstracts of three invited lectures           and\nfull versions of 37 contributed papers selected from 84\nsubmissions.The contributions are grouped into sections on\nhardware verification with   BDDs, methods and tools, theorem\nproving, analysis of real-time systems,    processalgebras and\ncalculi, partial orders, and exploiting symmetry.\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540569220\"\u003e\u003ch3\u003e5th International Conference, CAV'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540569220","offer_id":39437104742493,"sku":"9783540569220","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/5bfcb57b-3447-42d1-b502-daa7ca5f4bc4.jpg?v=1773553260","url":"https:\/\/shop.autorenwelt.de\/products\/computer-aided-verification-5th-international-conference-cav93-elounda-greece-june-28-july-1-1993-proceedings-von-costas-courcoubetis-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}