Using Z : specification, refinement, and proof (Book, 1996) [WorldCat.org]
skip to content
Using Z : specification, refinement, and proof Preview this item
ClosePreview this item
Checking...

Using Z : specification, refinement, and proof

Author: Jim Woodcock; Jim Davies
Publisher: London ; New York : Prentice Hall, 1996.
Series: Prentice-Hall international series in computer science.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

Using Z contains enough material for three complete courses of study. It provides an introduction to the world of logic, sets and relations. It explains the use of the Z notation in the specification  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Additional Physical Format: Online version:
Woodcock, Jim.
Using Z.
London ; New York : Prentice Hall, 1996
(OCoLC)604425492
Online version:
Woodcock, Jim.
Using Z.
London ; New York : Prentice Hall, 1996
(OCoLC)607752372
Document Type: Book
All Authors / Contributors: Jim Woodcock; Jim Davies
ISBN: 0139484728 9780139484728
OCLC Number: 34046380
Notes: Includes index.
Description: ix, 386 pages : illustrations ; 24 cm.
Contents: Introduction --
Propositional logic --
Predicate logic --
Equality and definite description --
Sets --
Definitions --
Relations --
Functions --
Sequences --
Free types --
Schemas --
Schema operators --
Promotion --
Preconditions --
A file system --
Data refinement --
Data refinement and schemas --
Functional refinement --
Refinement calculus --
A telecommunications protocol --
An operating system scheduler --
A bounded buffer module --
A save area.
Series Title: Prentice-Hall international series in computer science.
Responsibility: Jim Woodcock and Jim Davies.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.