On the Refinement Calculus

By: Trevor Vickers (Editor), Carroll Morgan (Editor)

Write A Review

Paperback

At a Glance

Paperback
176 Pages

Edition Type
New edition

Dimensions(cm)
23.39 x 15.6 x 0.97

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

On the Refinement Calculus gives one view of the development of the refinement calculus and its attempt to bring together - among other things - Z specifications and Dijkstra's programming language. It is an excellent source of reference material for all those seeking the background and mathematical underpinnings of the refinement calculus.

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.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Mathematical Theory of Computation Computer Programming & Software Development Programming & Scripting Languages Mathematics Calculus & Mathematical Analysis Software Engineering Gardening

Introduction
The Specification Statement	p. 1
Specification Statements and Refinement	p. 23
Procedures, Parameters, and Abstraction: Separate Concerns	p. 47
Data Refinement by Miracles	p. 59
Auxiliary Variables in Data Refinement	p. 65
Data Refinement of Predicate Transformers	p. 71
Data Refinement by Calculation	p. 85
A Single Complete Rule for Data Refinement	p. 111
Types and Invariants in the Refinement Calculus	p. 127
References	p. 155
Authors' Addresses	p. 159
Table of Contents provided by Blackwell. All Rights Reserved.

On the Refinement Calculus

At a Glance

Paperback

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)

Python Crash Course

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

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

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

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

Creative Machines

AI, Art & Us

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

AI in Early Education

Integrating Artificial Intelligence for Inclusive and Effective Learning

Machine Learning For Dummies

For Dummies (Computer/Tech)

The Tech Coup

How to Save Democracy from Silicon Valley

AI Engineering

Building Applications with Foundation Models

AI for Business

A Guide to AI Adoption

Hands-On Machine Learning with Scikit-Learn and PyTorch

Concepts, Tools, and Techniques to Build Intelligent Systems

Empire of AI

Inside the reckless race for total domination

The Coming Wave

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

New Beginnings

why change is so difficult and how to achieve it

Python All-in-One For Dummies

3rd Edition

Deep Learning for Intrusion Detection

Techniques and Applications

AI in Education Systems

Successful Cases and Perspectives

Fundamentals of Software-Defined Networking

Towards Intelligent and Flexible Networks

Fundamentals of Software-Defined Networking

Towards Intelligent and Flexible Networks

Sound and Music for the Theatre

The Art and Technique of Design

Sound and Music for the Theatre

The Art and Technique of Design

This product is categorised by