Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based ... and Communication Technology) (v. 4)

by: Scott F. Smith · Carolyn L. Talcott Hardcover details (USA). ISBN: 978-0-7923-7923-2 ISBN-10: 0-7923-7923-3 Springer · 2000