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 5 to 7 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

Python Crash Course

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

The AI Con

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

Nexus

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

Creative Machines

AI, Art & Us

Python All-in-One For Dummies

3rd Edition

The Coming Wave

AI, Power and the 21st Century's Greatest Dilemma

Empire of AI

Inside the reckless race for total domination

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

Building Machine Learning Systems with a Feature Store

Batch, Real-Time, and LLM Systems

Genesis

Artificial Intelligence, Hope, and the Human Spirit

Metaheuristics in Engineering Applications

Advances in Metaheuristics

The Handbook of AI for Clean Water

Innovations in Treatment and Monitoring

Port Management Strategy for Enhancing Cybersecurity and Resilience

Learning from Case Studies

Workplace Environmental Factors

Lighting, Noise, and Vibration

The Cybersecurity Game Master

From Role Playing Games to Tabletop Exercises that Engage and Inspire

Virtual Reality, Real Emergency

Integrating AR/VR in Computing and Medical Crisis Management

The Cybersecurity Game Master

From Role Playing Games to Tabletop Exercises that Engage and Inspire

Scary Smart

The Future of Artificial Intelligence and How You Can Save Our World

Advanced Materials for Biomedical Devices

Insights from AI and Nanotechnology

Automated, Faster and Greener Transport Systems

Analysis and Modelling Performances

The Shortest History of AI

Artificial Intelligence in Biomaterials Design and Development

Woodhead Publishing Series in Biomaterials

Co-Intelligence

Living and Working with AI

Applications of Artificial Intelligence in Removal of Emerging Contaminants

Sustainable Approach for Environmental Clean-up and Circular Economy

This product is categorised by