{"product_id":"9780412820502","title":"IFIP Advances in Information and Communication Technology","description":"\u003ch1\u003eIFIP Advances in Information and Communication Technology\u003c\/h1\u003e \u003ch2\u003eBird, Richard; Meerkens, Lambert\u003c\/h2\u003e \u003cp\u003eThe general theme of this conference is notations, methods, and  tool support for the calculation of programs from specifications. The  purpose of this working conference is to present the results of  ongoing research, descriptions of existing and proposed systems, and  applications to the production of practical software.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1997-07-31\u003c\/p\u003e \u003cp\u003eFormat: Hardcover\u003c\/p\u003e \u003cp\u003eISBN-13: 9780412820502\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-0-387-35264-0\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 443\u003c\/p\u003e ","brand":"Springer US","offers":[{"title":"Default Title","offer_id":45378924445836,"sku":"9780412820502","price":197.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9780412820502.jpg?v=1771513795","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9780412820502","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}