• usp_easy_retunsFree & Easy Returns
  • usp_best_dealsBest Deals
placeholder
Methods of Programming: Selected Papers on the CIP-Project
magnifyZoom

Methods of Programming: Selected Papers on the CIP-Project

267.00
nudge icon
Free Delivery
nudge icon
Free Delivery

Payment discount

Product Overview

Specifications

ISBN 139783540545767
AuthorManfred Broy
Book DescriptionThe systematic development of software systems is a central task of computing science. A software system is the result of putting together knowledge about the application, the requirements and the structures of computing science. Under the heading CIP (Computer-aided Intuition-guided Programming), a group of researchers led by Prof. F.L. Bauer and Prof. K. Samelson started work in 1975 in the direction of formal program specification, transformational programming, and tool supportfor program development. The collection of papers in this volume presents examples of a formal approach to programming language concepts and program development based on algebraic specifications and program transformations. Examples are also presented of evolutions and modificationsof the original ideas of the CIP project. The topics range from descriptionsof the program development process to derivations of algorithms from specifications. The volume is dedicated to Prof. F.L. Bauer.
Number of Pages288 pages
ISBN 10354054576X
LanguageEnglish
Publication Date23 October 1991
Cart Total  267.00
placeholder
Methods of Programming: Selected Papers on the CIP-Project
Methods of Programming: Selected Papers on the CIP-Project
267.00
0

We're Always Here To Help

Reach out to us through any of these support channels

Shop On The Go

App StoreGoogle PlayHuawei App Gallery

Connect With Us

mastercardvisatabbytamaraamexcod