Formal Methods for Open Object-Based Distributed Systems: IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based ... in Information and Communication Technology)

by: Paolo Ciancarini · Alessandro Fantechi · Roberto Gorrieri Hardcover details (USA). (see also: Digital) ISBN: 978-0-7923-8429-8 ISBN-10: 0-7923-8429-6 Springer · 1999