{"product_id":"9783540544968","title":"Lecture Notes in Computer Science: 7th Workshop on Specification of Abstract Data Types, Wusterhausen\/Dosse, Germany, April 17-20, 1990. Proceedings","description":"\u003ch1\u003eLecture Notes in Computer Science: 7th Workshop on Specification of Abstract Data Types, Wusterhausen\/Dosse, Germany, April 17-20, 1990. Proceedings\u003c\/h1\u003e \u003ch2\u003eEhrig, Hartmut; Jantke, Klaus P.; Orejas, Fernando; Reichel, Horst\u003c\/h2\u003e \u003cp\u003eThe algebraic specification of abstract data types is now a\nwell establishedresearch topic in computer science. This\narea influences both applications  and theoretical\nfoundations of methodologies which support the design       and\nformal development of reliable software.\nThe Seventh Workshop on    Specification of Abstract Data Types\ntook place in Wusterhausen\/Dosse, April17-20, 1990, and was\norganized in cooperation with the ESPRIT Basic         Research\nWorking Group COMPASS. The main topics covered by the\nworkshop were:\n- Modularization\n- Object orientation\n- Higher-order types anddependent types\n- Inductive completion\n- Algebraic high-level nets.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1991-09-11\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783540544968\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/3-540-54496-8\u003c\/p\u003e \u003cp\u003eDimensions: 233cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 384\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":45369849413772,"sku":"9783540544968","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783540544968.jpg?v=1773965678","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783540544968","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}