Deductive Program Design

by Manfred Broy

Book Overview

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

• Format: Paperback
• Language: English
• ISBN: 3642648495
• ISBN13: 9783642648496
• Release Date: September 2011
• Publisher: Springer
• Length: 470 Pages
• Weight: 1.48 lbs.
• Dimensions: 1.0" x 6.1" x 9.2"