Deductive Program Design
Broschiertes Buch

Deductive Program Design

Versandkostenfrei!
Versandfertig in 1-2 Wochen
153,99 €
inkl. MwSt.
PAYBACK Punkte
77 °P sammeln!
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 beautiful examples that show how to design proofs. Samson Abramsky, Simon G...