Deductive Software Verification: Future Perspectives المزيد من الكتب المشابهة

Verified Software: Theories, Tools and Experiments

٢٠١٤

Verified Software. Theories, Tools, and Experiments

٢٠١٦

Verified Software. Theories, Tools, and Experiments

٢٠٢٠

The Logic of Software. A Tasting Menu of Formal Methods

٢٠٢٢

FM 2008: Formal Methods

٢٠٠٨

Verified Software: Theories, Tools, and Experiments

٢٠١٦

Integrated Formal Methods

٢٠١٧

Formal Verification of Object-Oriented Software

٢٠١١

Verified Software. Theories, Tools and Experiments.

٢٠٢٣

Software Engineering and Formal Methods

٢٠١٦

Verified Software. Theories, Tools, and Experiments

٢٠١٧

Integrated Formal Methods

٢٠٢٠

Verified Software. Theories, Tools, and Experiments

٢٠١٨

Software Engineering and Formal Methods

٢٠١٩

Integrated Formal Methods

٢٠١٦