Formal Methods for Open Object-based Distributed Systems: Volume 1: v. 1 (IFIP Advances in Information and Communication Technology)

by: Elie Najm · Jean-Bernard Stefani Hardcover details (UK). ISBN: 978-0-412-79770-5 ISBN-10: 0-412-79770-4 Springer · 1996