Unifying Theories of Programming 비슷한 책 더 보기

Theoretical Aspects of Computing – ICTAC 2016 Theoretical Aspects of Computing – ICTAC 2016
Theoretical Aspects of Computing – ICTAC 2016
2016년
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년
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년
Formal Methods – The Next 30 Years Formal Methods – The Next 30 Years
Formal Methods – The Next 30 Years
2019년
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년
Theory and Practice of Formal Methods Theory and Practice of Formal Methods
Theory and Practice of Formal Methods
2016년
Theoretical Aspects of Computing – ICTAC 2017 Theoretical Aspects of Computing – ICTAC 2017
Theoretical Aspects of Computing – ICTAC 2017
2017년
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
2016년
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
2018년
Verification, Model Checking, and Abstract Interpretation Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
2015년
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2020년
Concurrency, Graphs and Models Concurrency, Graphs and Models
Concurrency, Graphs and Models
2008년
Formal Methods Formal Methods
Formal Methods
2023년
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2015년