ISBN 9781475710182 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 ... in Information and Communication Technology)
Smith, Scott F. Talcott, Carolyn L.
Springer /2012-08-01 Paperback / 436 Pages
isbn-10: 1475710186 / isbn-13: 9781475710182
