An introduction to formal specification and Z :: Ben Potter :: ISBN 0134787021 :: Prentice Hall 1991 :: OBNB, the Open British National Bibliography

Publication Data

Title An introduction to formal specification and Z
Author Ben Potter
Contributors Jane Sinclair, David Till
Publisher Prentice Hall
Publication date 1991
Publication location New York
Language English

Descriptive Notes

Bibliography: p291-293. _ Includes index.

Topics

Computer software :: Development
Z (Computer program language)

Catalogue Data

OBNB ID GB9040768
ISBN 10 0134787021
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 004.2

ISBD

P1053 xiii,304p.

Buy a copy

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

An introduction to formal specification and Z by Ben Potter. ISBN 0134787021. Published by Prentice Hall in 1991. Publication and catalogue information, links to buy online and reader comments.