{"product_id":"9783540569220","title":"Lecture Notes in Computer Science: 5th International Conference, CAV'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings","description":"\u003ch1\u003eLecture Notes in Computer Science: 5th International Conference, CAV'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings\u003c\/h1\u003e \u003ch2\u003eCourcoubetis, Costas\u003c\/h2\u003e \u003cp\u003eThis 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.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1993-06-16\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783540569220\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/3-540-56922-7\u003c\/p\u003e \u003cp\u003eDimensions: 233cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 510\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":45370077708428,"sku":"9783540569220","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783540569220.jpg?v=1773969990","url":"https:\/\/lateknightbooks.com\/products\/9783540569220","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}