Constraints Meet Concurrency More Books Like This
Coordination Models and Languages
2017
Rule Technologies. Research, Tools, and Applications
2016
Software Engineering and Formal Methods
2015
Software Engineering and Formal Methods
2014
Practical Aspects of Declarative Languages
2020
Coordination Models and Languages
2020
Formal Methods for Web Services
2009
Web Services and Formal Methods
2014
Software Engineering and Formal Methods
2017
Fundamentals of Software Engineering
2019
Formal Aspects of Component Software
2014
Formal Methods and Software Engineering
2018
Web Services, Formal Methods, and Behavioral Types
2016
Patterns, Programming and Everything
2012
Verification and Evaluation of Computer and Communication Systems
2019