Formal Methods for Open Object-Based Distributed Systems IV: Ifip Tc6/Wg6.1. Fourth International Conference on Formal Methods for Open Object-Based ... in Information and Communication Technology)

Formal Methods for Open Object-Based Distributed Systems IV: Ifip Tc6/Wg6.1. Fourth International Conference on Formal Methods for Open Object-Based ... in Information and Communication Technology)

by International Conference on Formal Metho (Author), Carolyn L. Talcott (Editor), Scott F. Smith (Editor)

$287.48

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 432
Edition: 2000
Publisher: Springer
Published: 31 Aug 2000

ISBN 10: 0792379233
ISBN 13: 9780792379232