Concurrent Programming: Algorithms, Principles, and Foundations 비슷한 책 더 보기

Nonsequential and Distributed Programming with Go Nonsequential and Distributed Programming with Go
Nonsequential and Distributed Programming with Go
2021년
Runtime Verification Runtime Verification
Runtime Verification
2008년
Formal Refinement for Operating System Kernels Formal Refinement for Operating System Kernels
Formal Refinement for Operating System Kernels
2007년
Understanding Control Flow Understanding Control Flow
Understanding Control Flow
2016년
Understanding Concurrent Systems Understanding Concurrent Systems
Understanding Concurrent Systems
2010년
The Art of Multiprocessor Programming The Art of Multiprocessor Programming
The Art of Multiprocessor Programming
2020년
Advanced Lectures on Software Engineering Advanced Lectures on Software Engineering
Advanced Lectures on Software Engineering
2010년
Introduction to Reliable and Secure Distributed Programming Introduction to Reliable and Secure Distributed Programming
Introduction to Reliable and Secure Distributed Programming
2011년
Declarative Programming and Knowledge Management Declarative Programming and Knowledge Management
Declarative Programming and Knowledge Management
2014년
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2018년
Practical Aspects of Declarative Languages Practical Aspects of Declarative Languages
Practical Aspects of Declarative Languages
2006년
Principles of the Spin Model Checker Principles of the Spin Model Checker
Principles of the Spin Model Checker
2008년
Domain Modeling and the Duration Calculus Domain Modeling and the Duration Calculus
Domain Modeling and the Duration Calculus
2007년
Distributed Programming Distributed Programming
Distributed Programming
2012년
Formal Methods for Multicore Programming Formal Methods for Multicore Programming
Formal Methods for Multicore Programming
2015년