Verified Software: Theories, Tools, and Experiments المزيد من الكتب المشابهة

Verified Software: Theories, Tools and Experiments

٢٠١٤

Verified Software. Theories, Tools and Experiments.

٢٠٢٣

Software Engineering and Formal Methods

٢٠١٦

Integrated Formal Methods

٢٠١٧

Verified Software. Theories, Tools, and Experiments

٢٠١٦

Verified Software. Theories, Tools, and Experiments

٢٠١٧

Formal Methods and Software Engineering

٢٠٢٢

Verified Software: Theories, Tools, Experiments

٢٠٠٨

Integrated Formal Methods

٢٠٢٠

Model Checking Software

٢٠١٨

Deductive Software Verification: Future Perspectives

٢٠٢٠

Software Engineering and Formal Methods

٢٠١٩

Integrated Formal Methods

٢٠١٦

FM 2016: Formal Methods

٢٠١٦

Software Engineering and Formal Methods

٢٠٢٠