Introduction to Reliable and Secure Distributed Programming 비슷한 책 더 보기
Distributed Algorithms, second edition
2018년
Concurrent Programming: Algorithms, Principles, and Foundations
2012년
Nonsequential and Distributed Programming with Go
2021년
Distributed Algorithms
2013년
Principles of the Spin Model Checker
2008년
Practical Aspects of Declarative Languages
2011년
Runtime Verification
2008년
Understanding Concurrent Systems
2010년
Formal Models of Operating System Kernels
2007년
Behavioural Types
2022년
Practical Concurrent Haskell
2017년
Understanding Control Flow
2016년
Practical Aspects of Declarative Languages
2021년
Practical Aspects of Declarative Languages
2010년
Distributed Programming
2012년