The Logic of Software. A Tasting Menu of Formal Methods 비슷한 책 더 보기

Formal Methods – The Next 30 Years Formal Methods – The Next 30 Years
Formal Methods – The Next 30 Years
2019년
Verified Software. Theories, Tools, and Experiments Verified Software. Theories, Tools, and Experiments
Verified Software. Theories, Tools, and Experiments
2018년
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
2020년
Formal Methods: Foundations and Applications Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
2018년
Integrated Formal Methods Integrated Formal Methods
Integrated Formal Methods
2020년
Perspectives of Systems Informatics Perspectives of Systems Informatics
Perspectives of Systems Informatics
2010년
Concurrency, Compositionality, and Correctness Concurrency, Compositionality, and Correctness
Concurrency, Compositionality, and Correctness
2010년
Formal Verification of Object-Oriented Software Formal Verification of Object-Oriented Software
Formal Verification of Object-Oriented Software
2011년
FM 2011: Formal Methods FM 2011: Formal Methods
FM 2011: Formal Methods
2011년
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년
Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
2021년
Rewriting Logic and Its Applications Rewriting Logic and Its Applications
Rewriting Logic and Its Applications
2022년
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년
Practical Aspects of Declarative Languages Practical Aspects of Declarative Languages
Practical Aspects of Declarative Languages
2023년
Integrated Formal Methods Integrated Formal Methods
Integrated Formal Methods
2019년