Formal Techniques for Distributed Objects, Components, and Systems 비슷한 책 더 보기
Trustworthy Global Computing
2014년
Trustworthy Global Computing
2016년
Formal Techniques for Distributed Objects, Components, and Systems
2019년
Formal Methods and Software Engineering
2022년
Integrated Formal Methods
2009년
Programming Languages with Applications to Biology and Security
2015년
Theory and Practice of Formal Methods
2016년
Formal Techniques for Distributed Objects, Components, and Systems
2016년
Integrated Formal Methods
2018년
Formal Methods: Foundations and Applications
2017년
Theoretical Aspects of Computing – ICTAC 2017
2017년
Integrated Formal Methods
2007년
Formal Methods
2018년
Dependable Software Engineering. Theories, Tools, and Applications
2017년
Formal Techniques for Distributed Systems
2010년