- ホーム
- > 洋書
- > 英文書
- > Computer / General
Full Description
In modern distributed systems, such as the Internet of Things or cloud computing, verifying their correctness is an essential aspect.
In modern distributed systems, such as the Internet of Things or cloud computing, verifying their correctness is an essential aspect.