NATO Asi Subseries F

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

or

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

More in Electronics Engineering

Apple

The First 50 Years

Hardcover

RRP $80.00

$58.99

26%
OFF

Arduino For Dummies

For Dummies (Computer/Tech)

Paperback

RRP $49.95

$36.75

26%
OFF

Artificial Intelligence for Predictive Healthcare

Towards Personalized Treatment and Disease Prevention

Hardcover

RRP $200.00

$176.75

12%
OFF

Generative Adversarial Networks for Cybersecurity:

Protecting Data and Networks

Hardcover

RRP $200.00

$176.75

12%
OFF

Integrated Technologies in Electrical, Electronics and Biotechnology Engineering Volume 1 - Gaurav Aggarwal

$96.75

12%
OFF

AI and Maternal Health

Transformations and Implications

Hardcover

RRP $315.00

$271.99

14%
OFF

Manufacturing Process Optimization for Sustainable Development Using Digital Twin Applications : Manufacturing Design and Technology - Santosh Kumar Tamang

Proceedings of the 13th International Conference on Frontiers in Intelligent Computing: Theory and Applications (FICTA 2025), Volume 5

Hardcover

$833.75

Augmented Intelligence in Systems Engineering and Engineered Systems : The Proceedings of the 2025 Conference on Systems Engineering Research - Azad M. Madni

$24.75

29%
OFF

Blood in the Machine

The Origins of the Rebellion Against Big Tech

Hardcover

RRP $49.99

$38.75

22%
OFF

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.

NATO Asi Subseries F

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Electronics Engineering

Apple

The First 50 Years

Arduino For Dummies

For Dummies (Computer/Tech)

Artificial Intelligence for Predictive Healthcare

Towards Personalized Treatment and Disease Prevention

Generative Adversarial Networks for Cybersecurity:

Protecting Data and Networks

Integrated Technologies in Electrical, Electronics and Biotechnology Engineering Volume 1

AI and Maternal Health

Transformations and Implications

AI and Maternal Health

Transformations and Implications

Manufacturing Process Optimization for Sustainable Development Using Digital Twin Applications

Manufacturing Design and Technology

Algorithmic Foundations of Robotics XVI, Volume 2

Proceedings of the Fifteenth Workshop on the Algorithmic Foundations of Robotics

Control, Robotics and Sensors

Design, Control and Applications

Sixth Congress on Intelligent Systems

CIS 2025, Volume 6

Trends in Advanced Unmanned Aerial Systems

Selected Contributions of ICAUAS 2025

AI for Knowledge Synthesis and Predictions

Proceedings of the 13th International Conference on Frontiers in Intelligent Computing: Theory and Applications (FICTA 2025), Volume 5

Augmented Intelligence in Systems Engineering and Engineered Systems

The Proceedings of the 2025 Conference on Systems Engineering Research

Artificial Intelligence Driven Forensics

Signals and Communication Technology

LEGO

Gadgets (Klutz)

Blood in the Machine

The Origins of the Rebellion Against Big Tech

Power Electronics

Analysis and Design

Circuits and Systems

A Modern Approach

Digital Signal Processing

Theory, Practice and Applications

Elements of Power Electronics

Modeling, Planning and Control of Robotics

Fundamentals of Robotics

Construction in the Age of Automation and Robotics

This product is categorised by