{"product_id":"9783540564966","title":"Lecture Notes in Computer Science: Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings","description":"\u003ch1\u003eLecture Notes in Computer Science: Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings\u003c\/h1\u003e \u003ch2\u003eBochmann, Gregor von; Probst, David K.\u003c\/h2\u003e \u003cp\u003eThis volume gives the proceedings of the Fourth Workshop on\nComputer-Aided  Verification (CAV '92), held in Montreal,\nJune 29 - July 1, 1992. The       objective of this series of\nworkshops is to bring together researchers and  practitioners\ninterested in the development and use of methods, tools       and\ntheories for the computer-aided verification of concurrent\nsystems. The workshops provide an opportunity for comparing\nvarious verification     methods and practical tools that can be\nused to assist the applications     designer. Emphasis is placed\non new research results and the application of existing\nresults to real verification problems.\nThe volume contains 31  papers selected from 75 submissions.\nThese are organized into parts on      reduction techniques,\nproof checking, symbolic verification, timing         verification,\npartial-order approaches, case studies, model and             proof\nchecking, and other approaches. The volume starts with an\ninvited lectureby Leslie Lamport entitled\n\"Computer-hindered verification (humans  can do it too)\".\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1993-03-30\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783540564966\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/3-540-56496-9\u003c\/p\u003e \u003cp\u003eDimensions: 233cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 426\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":45370066305164,"sku":"9783540564966","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783540564966.jpg?v=1773969682","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783540564966","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}