ISBN 3540431667 books & textbook
ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings (Lecture Notes in Computer Science, 2272)
Bert, Didier Bowen, Jonathan P. Henson, Martin C. Robinson, Ken
Springer /2002-01-16 Paperback / 552 Pages
isbn-10: 3540431667 / isbn-13: 9783540431664
