{"product_id":"algorithimic-languages-and-calculi-ifip-advances-in-information-and-communication-technology-0412820501","title":"Algorithimic Languages and Calculi (IFIP Advances in Information and Communication Technology)","description":"\u003cp\u003e\u003cstrong\u003eISBN:\u003c\/strong\u003e 0412820501\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eAuthor:\u003c\/strong\u003e Bird, Richard\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eCondition:\u003c\/strong\u003e New\u003c\/p\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","brand":"Mia Karts","offers":[{"title":"Default Title","offer_id":51859240190240,"sku":"NEW0412820501","price":229.01,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0980\/7426\/3840\/files\/51oynRvbERL.jpg?v=1781587223","url":"https:\/\/miakarts.com\/products\/algorithimic-languages-and-calculi-ifip-advances-in-information-and-communication-technology-0412820501","provider":"Miakarts Books","version":"1.0","type":"link"}