Formal Verification of Object-Oriented Software المزيد من الكتب المشابهة

FM 2008: Formal Methods FM 2008: Formal Methods
FM 2008: Formal Methods
٢٠٠٨
Formal Methods: Foundations and Applications Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
٢٠١١
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
٢٠١٥
The Logic of Software. A Tasting Menu of Formal Methods The Logic of Software. A Tasting Menu of Formal Methods
The Logic of Software. A Tasting Menu of Formal Methods
٢٠٢٢
Verified Software. Theories, Tools, and Experiments Verified Software. Theories, Tools, and Experiments
Verified Software. Theories, Tools, and Experiments
٢٠١٨
FM 2011: Formal Methods FM 2011: Formal Methods
FM 2011: Formal Methods
٢٠١١
Engineering Trustworthy Software Systems Engineering Trustworthy Software Systems
Engineering Trustworthy Software Systems
٢٠١٨
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
٢٠٠٨
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
٢٠١٧
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
٢٠١٨
Perspectives of Systems Informatics Perspectives of Systems Informatics
Perspectives of Systems Informatics
٢٠١٠
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
٢٠٢٠
Deductive Software Verification: Future Perspectives Deductive Software Verification: Future Perspectives
Deductive Software Verification: Future Perspectives
٢٠٢٠
Verified Software: Theories, Tools and Experiments Verified Software: Theories, Tools and Experiments
Verified Software: Theories, Tools and Experiments
٢٠١٤
Formal Methods: Foundations and Applications Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
٢٠١٨