Free Shipping In the UK
Introducing Specification Using Z By B. Ratcliff

Introducing Specification Using Z
by B. Ratcliff

In Stock
£4.99
Offering an introduction to formal specification using the "Z" notation, this practical text makes use of a series of case studies, of varying complexity, to illustrate the construction of good specifications in "Z". The text also includes an introduction to other aspects, such as theorem proving.
Only 1 left

Introducing Specification Using Z Summary


Introducing Specification Using Z: A Practical Case Study Approach by B. Ratcliff

Offering an introduction to formal specification using the "Z" notation, this practical text makes use of a series of case studies, of varying complexity, to illustrate the construction of good specifications in "Z". These case studies serve to describe the most frequently used features of "Z", the relevant discrete mathematics and the various techniques used. The text also includes an introduction to specification validation, theorem proving and refinement. The importance of formal methods within software engineering is stressed throughout and there are a large number of exercises with solutions.

Why buy from World of Books

Our excellent value books literally don't cost the earth
Free delivery in the UK
Read more here
Every used book bought is one saved from landfill

Table of Contents


Software engineering - why formal methods?; aspects of specification; the digital watch; predicate logic; the van hire system (part 1); the van hire system (part 2); supporting system description; the online monitor; after specification - what else?

Additional information

GOR007310129
Introducing Specification Using Z: A Practical Case Study Approach by B. Ratcliff
B. Ratcliff
McGraw-Hill International Series in Software Engineering
Used - Very Good
Paperback
McGraw-Hill Education - Europe
1994-03-01
320
0077079655
9780077079659
N/A
Book picture is for illustrative purposes only, actual binding, cover or edition may vary.
This is a used book - there is no escaping the fact it has been read by someone else and it will show signs of wear and previous use. Overall we expect it to be in very good condition, but if you are not entirely satisfied please get in touch with us.