Enlarge

Using Z : specification, refinement, and proof

Jim Woodcock

Publication Data

Title Using Z : specification, refinement, and proof
Author Jim Woodcock
Contributor Jim Davies
Publisher Prentice Hall
Publication date 1996
Publication location London
Language English

Topics

Z (Computer program language)
Computer software :: Development

Catalogue Data

OBNB ID GB9637797
ISBN 10 0139484728
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.12

ISBD

P1053 xvi,386p.
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Using Z : specification, refinement, and proof by Jim Woodcock. ISBN 0139484728. Published by Prentice Hall in 1996. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.