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
٢٠١٩
Verified Software. Theories, Tools, and Experiments Verified Software. Theories, Tools, and Experiments
Verified Software. Theories, Tools, and Experiments
٢٠١٨
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
٢٠٢٠
Formal Methods: Foundations and Applications Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
٢٠١٨
Integrated Formal Methods Integrated Formal Methods
Integrated Formal Methods
٢٠٢٠
Perspectives of Systems Informatics Perspectives of Systems Informatics
Perspectives of Systems Informatics
٢٠١٠
Concurrency, Compositionality, and Correctness Concurrency, Compositionality, and Correctness
Concurrency, Compositionality, and Correctness
٢٠١٠
Formal Verification of Object-Oriented Software Formal Verification of Object-Oriented Software
Formal Verification of Object-Oriented Software
٢٠١١
FM 2011: Formal Methods FM 2011: Formal Methods
FM 2011: Formal Methods
٢٠١١
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?
٢٠١٩
Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
٢٠٢١
Rewriting Logic and Its Applications Rewriting Logic and Its Applications
Rewriting Logic and Its Applications
٢٠٢٢
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
٢٠١٠
Practical Aspects of Declarative Languages Practical Aspects of Declarative Languages
Practical Aspects of Declarative Languages
٢٠٢٣
Integrated Formal Methods Integrated Formal Methods
Integrated Formal Methods
٢٠١٩