ISBN 3540627170 books & textbook
ZUM'97: The Z Formal Specification Notation: 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings (Lecture Notes in Computer Science, 1212)
Bowen, Jonathan P. Hinchey, Michael G. Till, David
Springer /1997-03-20 Paperback / 452 Pages
isbn-10: 3540627170 / isbn-13: 9783540627173
