Formal methods for open object-based distributed systems : IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Objec-Based Distributed Systems (FMOODS) : February 15-18, 1999, Florence, Italy

Web Site CiNii Available at 13 libraries

Bibliographic Information

Title
"Formal methods for open object-based distributed systems : IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Objec-Based Distributed Systems (FMOODS) : February 15-18, 1999, Florence, Italy"
Statement of Responsibility
edited by Paolo Ciancarini, Alessandro Fantechi, Robert Gorrieri
Publisher
  • Kluwer Academic
Publication Year
  • c1999
Book size
24 cm

Search this Book/Journal

Notes

Includes bibliographical references

Related Books

See more

Details 詳細情報について

Back to top