Talcott, Carolyn L. 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
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
