{"product_id":"9783540545767","title":"Lecture Notes in Computer Science: Selected Papers on the CIP-Project","description":"\u003ch1\u003eLecture Notes in Computer Science: Selected Papers on the CIP-Project\u003c\/h1\u003e \u003ch2\u003eBroy, Manfred; Wirsing, Martin\u003c\/h2\u003e \u003cp\u003eThe 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.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1991-10-23\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783540545767\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/BFb0018265\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 250\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":45369862029452,"sku":"9783540545767","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783540545767.jpg?v=1773966034","url":"https:\/\/lateknightbooks.com\/products\/9783540545767","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}