Formal Techniques for Distributed Systems 비슷한 책 더 보기

Fundamentals of Software Engineering Fundamentals of Software Engineering
Fundamentals of Software Engineering
2010년
Formal Techniques for Networked and Distributed Systems - FORTE 2007 Formal Techniques for Networked and Distributed Systems - FORTE 2007
Formal Techniques for Networked and Distributed Systems - FORTE 2007
2007년
Formal Techniques for Distributed Systems Formal Techniques for Distributed Systems
Formal Techniques for Distributed Systems
2010년
International Symposium on Fundamentals of Software Engineering International Symposium on Fundamentals of Software Engineering
International Symposium on Fundamentals of Software Engineering
2007년
Formal Techniques for Distributed Systems Formal Techniques for Distributed Systems
Formal Techniques for Distributed Systems
2009년
Integrated Formal Methods Integrated Formal Methods
Integrated Formal Methods
2007년
Integrated Formal Methods Integrated Formal Methods
Integrated Formal Methods
2009년
Theoretical Aspects of Computing - ICTAC 2008 Theoretical Aspects of Computing - ICTAC 2008
Theoretical Aspects of Computing - ICTAC 2008
2008년
Formal Techniques for Distributed Objects, Components, and Systems Formal Techniques for Distributed Objects, Components, and Systems
Formal Techniques for Distributed Objects, Components, and Systems
2022년
Concurrency, Compositionality, and Correctness Concurrency, Compositionality, and Correctness
Concurrency, Compositionality, and Correctness
2010년
Perspectives of Systems Informatics Perspectives of Systems Informatics
Perspectives of Systems Informatics
2010년
Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
2021년
FM 2011: Formal Methods FM 2011: Formal Methods
FM 2011: Formal Methods
2011년
Trustworthy Global Computing Trustworthy Global Computing
Trustworthy Global Computing
2009년
Dependable Software Engineering. Theories, Tools, and Applications Dependable Software Engineering. Theories, Tools, and Applications
Dependable Software Engineering. Theories, Tools, and Applications
2017년