Models and Analysis for Distributed Systems 비슷한 책 더 보기
Integrated Formal Methods
2007년
International Symposium on Fundamentals of Software Engineering
2007년
Formal Methods and Software Engineering
2015년
Formal Techniques for Distributed Systems
2010년
Formal Techniques for Safety-Critical Systems
2014년
Formal Methods: Foundations and Applications
2009년
Formal Aspects of Component Software
2020년
Formal Techniques for Networked and Distributed Systems - FORTE 2007
2007년
Fundamentals of Software Engineering
2010년
Integrated Formal Methods
2009년
Formal Methods and Software Engineering
2016년
Formal Aspects of Component Software
2018년
Formal Techniques for Distributed Systems
2009년
Formal Methods: Applications and Technology
2007년
Formal Methods and Hybrid Real-Time Systems
2007년