Concurrent Programming: Algorithms, Principles, and Foundations Plus de livres similaires

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
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
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2015