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
- Author
- Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro (auth.), Scott F. Smith, Carolyn L. Talcott (eds.)
- Publisher
- Springer US
- Language
- English
- Edition
- 1
- Year
- 2000
- Page
- 417
- ISBN
- 978-1-4757-1018-2,978-0-387-35520-7
- File Type
- pdf
- File Size
- 14.7 MiB
How to Download?!!!
Just click on START button on Telegram Bot