Introduction to formal specification and Z :: Ben Potter :: ISBN 0132422077 :: Prentice Hall 1996 :: OBNB, the Open British National Bibliography

Publication Data

Title Introduction to formal specification and Z
Author Ben Potter
Contributors Jane Sinclair, David Till
Publisher Prentice Hall
Publication date 1996
Publication location London
Language English

Descriptive Notes

Previous ed.: 1991.
Bibliography: p414-418. - Includes index.

Topics

Z (Computer program language)
Computer software :: Development

Catalogue Data

OBNB ID GB96Z3646
ISBN 10 0132422077
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.133

ISBD

P1008>2nd 2nd ed.
P1053 xiv,434p.

Buy a copy

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

Introduction to formal specification and Z by Ben Potter. ISBN 0132422077. Published by Prentice Hall in 1996. Publication and catalogue information, links to buy online and reader comments.