Concurrency, Graphs and Models 비슷한 책 더 보기
Models, Mindsets, Meta: The What, the How, and the Why Not?
2019년
Fundamentals of Software Engineering
2010년
Perspectives of Systems Informatics
2010년
Theoretical Aspects of Computing – ICTAC 2016
2016년
Theoretical Aspects of Computing – ICTAC 2010
2010년
International Symposium on Fundamentals of Software Engineering
2007년
Unifying Theories of Programming
2019년
Formal Methods – The Next 30 Years
2019년
Recent Trends in Algebraic Development Techniques
2017년
Perspectives of System Informatics
2015년
Semantics, Logics, and Calculi
2016년
Algebraic Methodology and Software Technology
2011년
Concurrency, Compositionality, and Correctness
2010년
Formal Aspects of Component Software
2021년
Reflections on the Work of C.A.R. Hoare
2010년