Visit our Christmas Gift Finder
Methods of Programming: Selected Papers on the CIP-Project - Lecture Notes in Computer Science 544 (Paperback)
  • Methods of Programming: Selected Papers on the CIP-Project - Lecture Notes in Computer Science 544 (Paperback)
zoom

Methods of Programming: Selected Papers on the CIP-Project - Lecture Notes in Computer Science 544 (Paperback)

(editor), (editor)
£62.99
Paperback 250 Pages / Published: 23/10/1991
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
The 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.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540545767
Number of pages: 250
Weight: 900 g
Dimensions: 235 x 155 x 15 mm
Edition: 1991 ed.

You may also be interested in...

C Programming in Easy Steps
Added to basket
SQL in Easy Steps
Added to basket
£10.99
Paperback
Designing Data-Intensive Applications
Added to basket
Python Crash Course
Added to basket
£33.99
Paperback
Clean Code
Added to basket
£36.99
Paperback
Learning Python
Added to basket
£51.99
Paperback
Learn Python the Hard Way
Added to basket
£29.48
Mixed media product
Automate The Boring Stuff With Python
Added to basket
Eloquent Javascript, 2nd Ed.
Added to basket
Fluent Python
Added to basket
£39.99
Paperback
The Clean Coder
Added to basket
£33.49
Paperback
Code
Added to basket
£21.99
Paperback
Python in Easy Steps
Added to basket
JavaScript in Easy Steps
Added to basket

Please sign in to write a review

Your review has been submitted successfully.