Take a photo of a barcode or cover
388 pages • first pub 1981 (view editions)
ISBN/UID: 9780387964805
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 21 April 1989
Description
This is the very first book to discuss the theory and principles of computer programming on the basis of the idea that a proof of correctness and a program should be developed hand in hand. It is built around the method first proposed by Dijkstra ...
Community Reviews
Content Warnings
388 pages • first pub 1981 (view editions)
ISBN/UID: 9780387964805
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 21 April 1989
Description
This is the very first book to discuss the theory and principles of computer programming on the basis of the idea that a proof of correctness and a program should be developed hand in hand. It is built around the method first proposed by Dijkstra ...
Community Reviews
Content Warnings