Formal methods for open object-based distributed systems IV : IFIP TC6/WG6.1 Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) : September 6-8, 2000, Stanford, California, USA

Web Site CiNii Available at 10 libraries

Bibliographic Information

Title
"Formal methods for open object-based distributed systems IV : IFIP TC6/WG6.1 Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) : September 6-8, 2000, Stanford, California, USA"
Statement of Responsibility
edited by Scott F. Smith, Carolyn L. Talcott
Publisher
  • Kluwer Academic Publishers
Publication Year
  • c2000
Book size
24 cm

Search this Book/Journal

Notes

Includes bibliographical references

Related Books

See more

Details 詳細情報について

Back to top