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

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

417 Pages · 2000 · 9.04 MB · English
by Nadia Busi & Roberto Gorrieri & Gianluigi Zavattaro (auth.) & Scott F. Smith & Carolyn L. Talcott (eds.)
Download
“ There are only two mistakes one can make along the road to truth; not going all the way, and not starting. ” ― BUDDHA
Similar Free eBooks
Load more similar PDF files
PDF Drive investigated dozens of problems and listed the biggest global issues facing the world today. Let's Change The World Together
4300万本书和9800万篇文章。
Ask yourself: What is your ideal life partner like? Where can you find him/her? Next