Introduction to Reliable and Secure Distributed Programming 비슷한 책 더 보기

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