Concurrent Programming: Algorithms, Principles, and Foundations المزيد من الكتب المشابهة

Nonsequential and Distributed Programming with Go

٢٠٢١

Runtime Verification

٢٠٠٨

Formal Refinement for Operating System Kernels

٢٠٠٧

Understanding Control Flow

٢٠١٦

Understanding Concurrent Systems

٢٠١٠

The Art of Multiprocessor Programming

٢٠٢٠

Advanced Lectures on Software Engineering

٢٠١٠

Introduction to Reliable and Secure Distributed Programming

٢٠١١

Declarative Programming and Knowledge Management

٢٠١٤

Logic-Based Program Synthesis and Transformation

٢٠١٨

Practical Aspects of Declarative Languages

٢٠٠٦

Principles of the Spin Model Checker

٢٠٠٨

Domain Modeling and the Duration Calculus

٢٠٠٧

Distributed Programming

٢٠١٢

Formal Methods for Multicore Programming

٢٠١٥