{"product_id":"9783540544968","title":"Recent Trends in Data Type Specification","description":"The algebraic specification of abstract data types is now awell establishedresearch topic in computer science. Thisarea influences both applications  and theoreticalfoundations of methodologies which support the design       andformal development of reliable software.The Seventh Workshop on    Specification of Abstract Data Typestook place in Wusterhausen\/Dosse, April17-20, 1990, and wasorganized in cooperation with the ESPRIT Basic         ResearchWorking Group COMPASS. The main topics covered by theworkshop were:- Modularization- Object orientation- Higher-order types anddependent types- Inductive completion- Algebraic high-level nets.","brand":"Hartmut Ehrig","offers":[{"title":"Default Title","offer_id":47590126092606,"sku":"9783540544968","price":1571.66,"currency_code":"ZAR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4357\/7662\/products\/9783540544968.jpg?v=1707721999","url":"https:\/\/exclusivebooks.co.za\/products\/9783540544968","provider":"Exclusive Books Online","version":"1.0","type":"link"}