{"product_id":"9783540563792","title":"Lecture Notes in Computer Science: 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991. Selected Papers","description":"\u003ch1\u003eLecture Notes in Computer Science: 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991. Selected Papers\u003c\/h1\u003e \u003ch2\u003eBidoit, Michel; Choppy, Christine\u003c\/h2\u003e \u003cp\u003eThe algebraic specification of abstract data types has been\na flourishing   research topic in computer science since 1974.\nThe main goal of this work isto evolve theoretical\nfoundations and a methodology to support the design   and\nformal development of reliable software.\nThis volume gives the      proceedings of the Eighth Workshop on\nSpecification of Abstract Data Types, held jointly with the\nThird COMPASS workshop near Paris in August 1991. The main\ntopics covered by the joint workshop are:\n- specification languagesand program development\n- algebraic specification of concurrency\n-      theorem proving\n- object-oriented specifications\n- order-sorted         algebras\n- abstract implementation and behavioral semantics.\nThe volume contains four invited surveys and twelve\ncontributed papers, all of which   underwent a careful\nrefereeing process.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1993-01-29\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783540563792\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/3-540-56379-2\u003c\/p\u003e \u003cp\u003eDimensions: 233cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 346\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":45370072367244,"sku":"9783540563792","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783540563792.jpg?v=1773969836","url":"https:\/\/lateknightbooks.com\/products\/9783540563792","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}