ISBN 9780792379232 books & textbook
Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based ... Information and Communication Technology, 49)
Smith, Scott F. Talcott, Carolyn L.
Springer /2000-08-31 Hardcover / 436 Pages
isbn-10: 0792379233 / isbn-13: 9780792379232
