Formal Techniques for Distributed Objects, Components, and Systems 비슷한 책 더 보기
Trustworthy Global Computing
2016년
Trustworthy Global Computing
2014년
Formal Techniques for Distributed Objects, Components, and Systems
2017년
Programming Languages with Applications to Biology and Security
2015년
Coordination Models and Languages
2016년
Formal Techniques for Distributed Objects, Components, and Systems
2016년
Coordination Models and Languages
2018년
Formal Aspects of Component Software
2017년
Formal Techniques for Distributed Objects, Components, and Systems
2019년
Formal Aspects of Component Software
2016년
Fundamentals of Software Engineering
2013년
Models, Languages, and Tools for Concurrent and Distributed Programming
2019년
Theory and Practice of Formal Methods
2016년
Integrated Formal Methods
2018년
Principles of Security and Trust
2016년