Formal methods for open object-based distributed systems

Formal methods for open object-based distributed systems

1999
Join Readfeed freeFind clubs reading this bookBrowse readable books
About
"This volume comprises the proceedings of the International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS), sponsored by the International Federation for Information Processing (IFIP) which was held in Florence, Italy, in February 1999."--BOOK JACKET. "Formal Methods for Open Object-Based Distributed Systems is suitable as a secondary text for graduate level courses in computer science and telecommunications, and as a reference for researchers and practitioners in industry, commerce and government."--BOOK JACKET.

Discuss Formal methods for open object-based distributed systems with other readers

Join or start a book club for Formal methods for open object-based distributed systems on Readfeed. Live chat, shared reading progress, and AI discussion questions — free to get started.

Sign up freeBrowse book clubs

Frequently asked questions

How do I join a book club for Formal methods for open object-based distributed systems?

Sign up free on Readfeed, then browse public clubs or start your own club with Formal methods for open object-based distributed systems as the current read. Invite friends with a share link and discuss together with live chat and AI discussion questions.

Can I discuss Formal methods for open object-based distributed systems with other readers online?

Yes. Readfeed book clubs let you chat live, share progress, and join discussions about Formal methods for open object-based distributed systems with readers worldwide — whether your club is virtual, in-person, or hybrid.

Is Readfeed free?

Yes. Creating an account and joining book clubs is free. Sign up to find readers who love the same books and start discussing today.