Concurrency, Graphs and Models More Books Like This

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