Deductive Program Design

By: Manfred Broy (Editor)

Write A Review

Hardcover | 18 June 1996

At a Glance

Hardcover
484 Pages

Dimensions(cm)
24.77 x 17.15 x 2.54

Hardcover

$329.00

or 4 interest-free payments of $82.25 with

Ships in 7 to 10 business days

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 founding concurrent programming on interaction categories and foundations of type theory. Tony Hoare presents unifying views on mathematical models for computing science. Unifying theories are especially important if the whole development process of programs is to be supported by deductive techniques. The rest of the contributions address applications of deductive program design methods. They are directed to different areas of application; for example Richard Bird's and Oege de Moor's algebra of programming is mainly intended for classical functional programming, and the contribution on data refinement and their transformation by David Gries considers sequential procedural programs.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

On Traditions in Marktoberdorf (Banquet Speech)	p. 1
Fibonacci and the Greatest Common Divisor (EWD1077)	p. 7
The Balance and the Coins (EWD1083)	p. 11
Bulterman's Theorem on Shortest Trees (EWD1131)	p. 15
A Prime is in at Most 1 Way the Sum of 2 Squares (EWD1155a)	p. 17
A Bagatelle on Euclid's Algorithm (EWD1158)	p. 21
On Two Equations that Have the Same Extreme Solution (EWD1168)	p. 25
An Alternative of the ETAC to EWD1163 (EWD1169)	p. 27
The Argument about the Arithmetic Mean and the Geometric Mean, Heuristics Included (EWD1171)	p. 29
Interaction Categories and the Foundations of Typed Concurrent Programming	p. 35
Mathematical Models for Computing Science	p. 115
The Algebra of Programming	p. 167
Data Refinement and the Transform	p. 205
On TLA as a Logic	p. 235
Specification and Refinement of a Buffer of Length One	p. 273
Model Checking	p. 305
Notes on Proof Outline Logic	p. 351
Proof and Design	p. 397
A Program Transformation Approach to Asynchronous VLSI Design	p. 441
Table of Contents provided by Blackwell. All Rights Reserved.

Deductive Program Design

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Science

Microsoft Power BI For Dummies

For Dummies (Computer/Tech)

Don't Burn Anyone at the Stake Today

(and other lessons from history about living through an information crisis)

The Laws of Thought

The Quest for a Mathematical Theory of the Mind

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

Nexus

A Brief History of Information Networks from the Stone Age to AI

The AI Con

How To Fight Big Tech's Hype and Create the Future We Want

Atlas of the Invisible

Maps & Graphics That Will Change How You See the World

Creative Machines

AI, Art & Us

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

AI in Early Education

Integrating Artificial Intelligence for Inclusive and Effective Learning

The AI-Driven Leader

Harnessing AI to Make Faster, Smarter Decisions

Empire of AI

Inside the reckless race for total domination

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

Anthropology and AI

Anthropology of Now

Anthropology and AI

Anthropology of Now

Deep Learning for Intrusion Detection

Techniques and Applications

Hope in the Library

How Libraries Can Help Shape Our Future with Artificial Intelligence

Privacy and Security in FinTech, Healthcare, and Social Applications

Robotics and Generative AI in Healthcare

A New Era of Innovation

Agentic AI For Dummies

For Dummies (Computer/Tech)

Modern Benfordâs Law

State of the Art Techniques for Audit and Compliance Professionals

Modern Benfordâs Law

State of the Art Techniques for Audit and Compliance Professionals

AI in Business For Dummies

For Dummies (Business & Personal Finance)

Education and Analog Role-Playing Games

TeachRPG â" Tabletop Role-Playing Games in the Classroom, Volume II

This product is categorised by