{"product_id":"9783540574996","title":"Lecture Notes in Computer Science: IFIP TC2\/WG 2.1 State-of-the-Art Report","description":"\u003ch1\u003eLecture Notes in Computer Science: IFIP TC2\/WG 2.1 State-of-the-Art Report\u003c\/h1\u003e \u003ch2\u003eMöller, Bernhard; Partsch, Helmut; Schuman, Steve\u003c\/h2\u003e \u003cp\u003eThis volume contains the background texts for an IFIP\nState-of-the-Art      Seminar on Formal Program Development, held\nin early 1992 near Rio de       Janeiro, Brazil.\nThe book stems from work done by IFIP Working Group 2.1    on\nAlgorithmic Languages and Calculi. Since 1975, the Working\nGroup has increasingly focused on systematic approaches to\nprogramming and on         appropriate concepts and notations to\nsupport such approaches. Today, the   calculation of programs\nfrom specifications constitutes the central theme ofthe\ngroup's work. Thus the core interests of the group are:\n- formal    specification of solutions to problems, and\n- formal development\/calculationof programs from such\nspecifications.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1993-11-29\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783540574996\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/3-540-57499-9\u003c\/p\u003e \u003cp\u003eDimensions: 233cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 375\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":45370068697228,"sku":"9783540574996","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783540574996.jpg?v=1773276304","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783540574996","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}