Models, Languages, and Tools for Concurrent and Distributed Programming 비슷한 책 더 보기
Coordination Models and Languages
2018년
Programming Languages with Applications to Biology and Security
2015년
It's All About Coordination
2018년
Theory and Practice of Formal Methods
2016년
Formal Techniques for Distributed Objects, Components, and Systems
2019년
Formal Techniques for Distributed Objects, Components, and Systems
2016년
Trustworthy Global Computing
2016년
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
2020년
Formal Aspects of Component Software
2016년
Formal Aspects of Component Software
2017년
Integrated Formal Methods
2018년
Integrated Formal Methods
2019년
Coordination Models and Languages
2016년
Unifying Theories of Programming
2019년
Formal Aspects of Component Software
2017년