Formal Methods for Open Object-Based Distributed Systems: Volume 2: Proceedings of the 2nd International Workshop on Formal Methods for Open ... in Information and Communication Technology)

by: Howard Bowman · John Derrick Hardcover details (UK). ISBN: 978-0-412-82040-3 ISBN-10: 0-412-82040-4 Springer · 1997