A Process Algebraic Approach to Software Architecture Design المزيد من الكتب المشابهة
Formal Techniques for Distributed Systems
٢٠١١
Formal Techniques for Distributed Systems
٢٠١٠
Fundamentals of Software Engineering
٢٠١٠
Concurrency, Compositionality, and Correctness
٢٠١٠
International Symposium on Fundamentals of Software Engineering
٢٠٠٧
Coordination Models and Languages
٢٠٠٩
Models, Algorithms, Logics and Tools
٢٠١٧
Formal Techniques for Networked and Distributed Systems - FORTE 2007
٢٠٠٧
Dependable Software Engineering. Theories, Tools, and Applications
٢٠١٧
Formal Techniques for Distributed Objects, Components, and Systems
٢٠١٧
Concurrency Theory
٢٠٠٦
Coordination Models and Languages
٢٠١٦
Formal Techniques for Distributed Objects, Components, and Systems
٢٠٢٢
Theoretical Aspects of Computing - ICTAC 2008
٢٠٠٨
Formal Techniques for Distributed Systems
٢٠٠٩