Programming Languages with Applications to Biology and Security 비슷한 책 더 보기
Trustworthy Global Computing
2016년
Models, Languages, and Tools for Concurrent and Distributed Programming
2019년
Trustworthy Global Computing
2014년
Theory and Practice of Formal Methods
2016년
Formal Techniques for Distributed Objects, Components, and Systems
2017년
Formal Techniques for Distributed Objects, Components, and Systems
2016년
Formal Techniques for Distributed Objects, Components, and Systems
2019년
Coordination Models and Languages
2018년
It's All About Coordination
2018년
Formal Aspects of Component Software
2017년
Integrated Formal Methods
2018년
Formal Aspects of Component Software
2016년
International Symposium on Fundamentals of Software Engineering
2007년
Semantics, Logics, and Calculi
2016년
Perspectives of System Informatics
2016년