Formal Verification of Object-Oriented Software 비슷한 책 더 보기

FM 2008: Formal Methods FM 2008: Formal Methods
FM 2008: Formal Methods
2008년
Formal Methods: Foundations and Applications Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
2011년
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
2015년
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
2022년
Verified Software. Theories, Tools, and Experiments Verified Software. Theories, Tools, and Experiments
Verified Software. Theories, Tools, and Experiments
2018년
FM 2011: Formal Methods FM 2011: Formal Methods
FM 2011: Formal Methods
2011년
Engineering Trustworthy Software Systems Engineering Trustworthy Software Systems
Engineering Trustworthy Software Systems
2018년
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
2008년
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
2017년
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2018년
Perspectives of Systems Informatics Perspectives of Systems Informatics
Perspectives of Systems Informatics
2010년
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
2020년
Deductive Software Verification: Future Perspectives Deductive Software Verification: Future Perspectives
Deductive Software Verification: Future Perspectives
2020년
Verified Software: Theories, Tools and Experiments Verified Software: Theories, Tools and Experiments
Verified Software: Theories, Tools and Experiments
2014년
Formal Methods: Foundations and Applications Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
2018년