Deductive program design aims at methods that guide and support the development of programs by techniques of deduction. Deduction is a well-known subject of study in logical theories. However, the application of deductive techniques in program design needs methods, heuristics, and understanding of the required forms and formats of the development result that go far beyond those found in logical theories. The summer school presents a very broad spectrum of approaches to these issues. Edsger W. Dijkstra gives a number of ...

Deductive Program Design 2011, Springer

ISBN-13: 9783642648496

Softcover Reprint of the Origi edition

Trade paperback

Deductive Program Design 1996, Springer, Berlin, Germany

ISBN-13: 9783540609476

1996 edition