Enlarge

ZUM '98: the Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : proceedings

Publication Data

Title ZUM '98: the Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : proceedings
Contributors J. P. Bowen, Andreas Fett, Michael G. Hinchey
Publisher Springer
Publication date 1998
Publication location Berlin
Language English

Descriptive Notes

Includes index.

Topics

Z (Computer program language) :: Congresses

Catalogue Data

OBNB ID GB9881382
ISBN 10 3540650709
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.133

ISBD

P1053 xv,415p.

Buy a copy

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

ZUM '98: the Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : proceedings. ISBN 3540650709. Published by Springer in 1998. Publication and catalogue information, links to buy online and reader comments.