Concurrency Theory المزيد من الكتب المشابهة

Formal Techniques for Distributed Systems

٢٠١٠

Integrated Formal Methods

٢٠٠٩

Fundamentals of Software Engineering

٢٠١٠

Theoretical Aspects of Computing - ICTAC 2015

٢٠١٥

Theoretical Aspects of Computing - ICTAC 2008

٢٠٠٨

Formal Techniques for Distributed Objects, Components, and Systems

٢٠١٧

Concurrency, Compositionality, and Correctness

٢٠١٠

Formal Techniques for Distributed Systems

٢٠١١

International Symposium on Fundamentals of Software Engineering

٢٠٠٧

Integrated Formal Methods

٢٠٠٧

A Process Algebraic Approach to Software Architecture Design

٢٠١٠

Domain Modeling and the Duration Calculus

٢٠٠٧

Unifying Theories of Programming

٢٠١٧

Models, Algorithms, Logics and Tools

٢٠١٧

Formal Modeling and Analysis of Timed Systems

٢٠١٨