Concurrency Theory 비슷한 책 더 보기

Formal Techniques for Distributed Systems Formal Techniques for Distributed Systems
Formal Techniques for Distributed Systems
2010년
Integrated Formal Methods Integrated Formal Methods
Integrated Formal Methods
2009년
Fundamentals of Software Engineering Fundamentals of Software Engineering
Fundamentals of Software Engineering
2010년
Theoretical Aspects of Computing - ICTAC 2015 Theoretical Aspects of Computing - ICTAC 2015
Theoretical Aspects of Computing - ICTAC 2015
2015년
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
2017년
Concurrency, Compositionality, and Correctness Concurrency, Compositionality, and Correctness
Concurrency, Compositionality, and Correctness
2010년
Formal Techniques for Distributed Systems Formal Techniques for Distributed Systems
Formal Techniques for Distributed Systems
2011년
International Symposium on Fundamentals of Software Engineering International Symposium on Fundamentals of Software Engineering
International Symposium on Fundamentals of Software Engineering
2007년
Integrated Formal Methods Integrated Formal Methods
Integrated Formal Methods
2007년
A Process Algebraic Approach to Software Architecture Design A Process Algebraic Approach to Software Architecture Design
A Process Algebraic Approach to Software Architecture Design
2010년
Domain Modeling and the Duration Calculus Domain Modeling and the Duration Calculus
Domain Modeling and the Duration Calculus
2007년
Unifying Theories of Programming Unifying Theories of Programming
Unifying Theories of Programming
2017년
Models, Algorithms, Logics and Tools Models, Algorithms, Logics and Tools
Models, Algorithms, Logics and Tools
2017년
Formal Modeling and Analysis of Timed Systems Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems
2018년