Understanding Concurrent Systems المزيد من الكتب المشابهة

Formal Techniques for Distributed Systems

٢٠١١

Integrated Formal Methods

٢٠٠٩

Concurrency Theory

٢٠٠٦

Concurrency, Security, and Puzzles

٢٠١٦

Formal Techniques for Distributed Objects, Components, and Systems

٢٠١٧

Concurrency, Compositionality, and Correctness

٢٠١٠

Integrated Formal Methods

٢٠٠٧

Formal Techniques for Distributed Systems

٢٠١٠

Theoretical Aspects of Computing - ICTAC 2008

٢٠٠٨

Formal Methods and Software Engineering

٢٠٠٨

Unifying Theories of Programming

٢٠١٧

Automated Technology for Verification and Analysis

٢٠١٥

Formal Techniques for Distributed Systems

٢٠٠٩

Formal Methods: Foundations and Applications

٢٠٠٩

FM 2011: Formal Methods

٢٠١١