The Logic of Software. A Tasting Menu of Formal Methods Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel & Einar Broch Johnsen의 도서 더 보기

Deductive Software Verification: Future Perspectives Deductive Software Verification: Future Perspectives
Deductive Software Verification: Future Perspectives
2020년
Tests and Proofs Tests and Proofs
Tests and Proofs
2020년
Integrated Formal Methods Integrated Formal Methods
Integrated Formal Methods
2019년