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

Integrated Formal Methods

٢٠٢٠

Formal Methods and Software Engineering

٢٠٢٢

Integrated Formal Methods

٢٠١٧

Verified Software: Theories, Tools, and Experiments

٢٠١٦

Formal Methods: Foundations and Applications

٢٠١٧

Integrated Formal Methods

٢٠١٩

Model Checking Software

٢٠١٨

Verified Software. Theories, Tools, and Experiments

٢٠١٦

Verified Software: Theories, Tools and Experiments

٢٠١٤

Software Engineering and Formal Methods

٢٠١٩

FM 2016: Formal Methods

٢٠١٦

Verified Software. Theories, Tools, and Experiments

٢٠١٧

Software Engineering and Formal Methods

٢٠٢٠

Software Engineering and Formal Methods

٢٠١٦

Integrated Formal Methods

٢٠١٦