Constraints Meet Concurrency 비슷한 책 더 보기

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