Methods of Programming

by Juris Hartmanis, Gerhard Goos, M. Wirsing, et al.

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...

• Format: Paperback
• Language: English
• ISBN: 354054576X
• ISBN13: 9783540545767
• Release Date: October 1991
• Publisher: Springer
• Length: 250 Pages
• Weight: 0.90 lbs.
• Dimensions: 0.6" x 6.1" x 9.2"