Formal Methods for Open Object-Based Distributed Systems: IFIP Tc6/Wg6.1 Fifth International Conference on Formal Methods for Open Object-Based ... in Information and Communication Technology)
by Bart Jacobs,Arend Rensink,International Conference on Formal Metho
ISBN 13: 9780792376835
Format: Illustrated (292 pages) Publisher: Springer Published: 31 Mar 2002
Save for later