.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Deductive Program Design
Manfred . Ed(S): Broy
€ 251.11
FREE Delivery in Ireland
Description for Deductive Program Design
Paperback. Editor(s): Broy, Manfred. Series: NATO Asi Series / NATO Asi Subseries F:. Num Pages: 470 pages, biography. BIC Classification: PBKS; TJF; UM; UYF; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 726.
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 Gay, and Rajagopal Nagarajan contribute a fundamental study ... Read more
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 Gay, and Rajagopal Nagarajan contribute a fundamental study ... Read more
Product Details
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
470
Condition
New
Series
NATO Asi Series / NATO Asi Subseries F:
Number of Pages
470
Place of Publication
Berlin, Germany
ISBN
9783642648496
SKU
V9783642648496
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Deductive Program Design