Z : an introduction to formal methods :: Antoni Diller :: ISBN 0471939730 :: Wiley 1994 :: OBNB, the Open British National Bibliography

Publication Data

Title Z : an introduction to formal methods
Author Antoni Diller
Publisher Wiley
Publication date 1994
Publication location Chichester
Language English

Descriptive Notes

Previous ed.: 1990.
Bibliography: p357-362. - Includes index.

Topics

Z (Computer program language)
Computer programming
008074037

Catalogue Data

OBNB ID GB9517013
ISBN 10 0471939730
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.133

ISBD

P1008>2nd 2nd ed.
P1053 xix,374p.

Buy a copy

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

Z : an introduction to formal methods by Antoni Diller. ISBN 0471939730. Published by Wiley in 1994. Publication and catalogue information, links to buy online and reader comments.