Distributed Programming More Books Like This

Nonsequential and Distributed Programming with Go Nonsequential and Distributed Programming with Go
Nonsequential and Distributed Programming with Go
2021
Understanding Concurrent Systems Understanding Concurrent Systems
Understanding Concurrent Systems
2010
Modern Compiler Implementation in C Modern Compiler Implementation in C
Modern Compiler Implementation in C
1997
Behavioural Types Behavioural Types
Behavioural Types
2022
Practical Aspects of Declarative Languages Practical Aspects of Declarative Languages
Practical Aspects of Declarative Languages
2021
Runtime Verification Runtime Verification
Runtime Verification
2008
A Pipelined Multi-core MIPS Machine A Pipelined Multi-core MIPS Machine
A Pipelined Multi-core MIPS Machine
2014
Formal Methods for Multicore Programming Formal Methods for Multicore Programming
Formal Methods for Multicore Programming
2015
Engineering Theories of Software Intensive Systems Engineering Theories of Software Intensive Systems
Engineering Theories of Software Intensive Systems
2006
Practical Aspects of Declarative Languages Practical Aspects of Declarative Languages
Practical Aspects of Declarative Languages
2011
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
2009
Principles of the Spin Model Checker Principles of the Spin Model Checker
Principles of the Spin Model Checker
2008
Concurrent Programming: Algorithms, Principles, and Foundations Concurrent Programming: Algorithms, Principles, and Foundations
Concurrent Programming: Algorithms, Principles, and Foundations
2012
Verified Software. Theories, Tools, and Experiments Verified Software. Theories, Tools, and Experiments
Verified Software. Theories, Tools, and Experiments
2018
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2018