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)

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 Arend Rensink (Author), Bart Jacobs (Author), International Conference on Formal Metho (Author), Arend Rensink (Author), Bart Jacobs (Author)

$116.98

Save:$46.95 (29%)

Quantity

20+ in stock

More Information

Format: Illustrated
Pages: 292
Edition: 2002
Publisher: Springer
Published: 31 Mar 2002

ISBN 10: 0792376838
ISBN 13: 9780792376835