Constraints Meet Concurrency المزيد من الكتب المشابهة
Coordination Models and Languages
٢٠١٧
Rule Technologies. Research, Tools, and Applications
٢٠١٦
Software Engineering and Formal Methods
٢٠١٥
Software Engineering and Formal Methods
٢٠١٤
Practical Aspects of Declarative Languages
٢٠٢٠
Coordination Models and Languages
٢٠٢٠
Formal Methods for Web Services
٢٠٠٩
Web Services and Formal Methods
٢٠١٤
Software Engineering and Formal Methods
٢٠١٧
Fundamentals of Software Engineering
٢٠١٩
Formal Aspects of Component Software
٢٠١٤
Formal Methods and Software Engineering
٢٠١٨
Web Services, Formal Methods, and Behavioral Types
٢٠١٦
Patterns, Programming and Everything
٢٠١٢
Verification and Evaluation of Computer and Communication Systems
٢٠١٩