- ホーム
- > 洋書
- > 英文書
- > Computer / General
基本説明
Numerous examples such as bounded buffers, distributed locks, message-passing services, and distributed termination detection illustrate the method.
Full Description
Distributed Programming: Theory and Practice presents a practical and rigorous method to develop distributed programs that correctly implement their specifications.



