{"product_id":"methods-of-programming-selected-papers-on-the-cip-project-von-manfred-broy-martin-wirsing-hrsg","title":"Methods of Programming","description":"The systematic development of software systems is a central\ntask of         computing science. A software system is the result\nof putting together      knowledge about the application, the\nrequirements and the structures of     computing science.\nUnder the heading CIP (Computer-aided                    Intuition-guided\nProgramming), a group of researchers led by Prof. F.L.     Bauer\nand Prof. K. Samelson started work in 1975 in the direction\nof    formal program specification, transformational\nprogramming, and tool supportfor program development.\nThe collection of papers in this volume presents   examples of\na formal approach to programming language concepts              and\nprogram development based on algebraic specifications and\nprogram   transformations. Examples are also presented of\nevolutions and modificationsof the original ideas of the\nCIP project. The topics range from descriptionsof the\nprogram development process to derivations of algorithms\nfrom    specifications.\nThe volume is dedicated to Prof. F.L. Bauer.\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540545767\"\u003e\u003ch3\u003eSelected Papers on the CIP-Project\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540545767","offer_id":39426494824541,"sku":"9783540545767","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/cd734ef5-3566-49c3-a757-d11092219e34.jpg?v=1773554814","url":"https:\/\/shop.autorenwelt.de\/en\/products\/methods-of-programming-selected-papers-on-the-cip-project-von-manfred-broy-martin-wirsing-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}