Enlarge

Z : an introduction to formal methods

Antoni Diller

Publication Data

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

Topics

010372759

Catalogue Data

OBNB ID GB9027203
ISBN 10 047192489X
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.133

ISBD

P1053 [200]p.
P1042 Includes bibliographies and index.

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 047192489X. Published by Wiley in 1990. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.