Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based ... in Information and Communication Technology)
by:
Bart Jacobs ·
Arend Rensink
Hardcover
details (
United States
).
ISBN: 978-0-7923-7683-5
ISBN-10: 0-7923-7683-8
Springer
· 2002
