{"product_id":"9783540545767","title":"Methods of Programming","description":"The systematic development of software systems is a centraltask of         computing science. A software system is the resultof putting together      knowledge about the application, therequirements and the structures of     computing science.Under the heading CIP (Computer-aided                    Intuition-guidedProgramming), a group of researchers led by Prof. F.L.     Bauerand Prof. K. Samelson started work in 1975 in the directionof    formal program specification, transformationalprogramming, and tool supportfor program development.The collection of papers in this volume presents   examples ofa formal approach to programming language concepts              andprogram development based on algebraic specifications andprogram   transformations. Examples are also presented ofevolutions and modificationsof the original ideas of theCIP project. The topics range from descriptionsof theprogram development process to derivations of algorithmsfrom    specifications.The volume is dedicated to Prof. F.L. Bauer.","brand":"Manfred Broy","offers":[{"title":"Default Title","offer_id":47590124159294,"sku":"9783540545767","price":1554.46,"currency_code":"ZAR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4357\/7662\/products\/9783540545767.jpg?v=1707722003","url":"https:\/\/exclusivebooks.co.za\/products\/9783540545767","provider":"Exclusive Books Online","version":"1.0","type":"link"}