Formal Methods and Software Engineering المزيد من الكتب المشابهة

Software Engineering and Formal Methods Software Engineering and Formal Methods
٢٠٢١
Formal Methods – The Next 30 Years Formal Methods – The Next 30 Years
٢٠١٩
Integrated Formal Methods Integrated Formal Methods
٢٠٢٢
Formal Methods Formal Methods
٢٠٢١
Theoretical Aspects of Software Engineering Theoretical Aspects of Software Engineering
٢٠٢٢
Dependable Software Engineering. Theories, Tools, and Applications Dependable Software Engineering. Theories, Tools, and Applications
٢٠٢١
NASA Formal Methods NASA Formal Methods
٢٠٢٢
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
٢٠٢٢
FM 2016: Formal Methods FM 2016: Formal Methods
٢٠١٦
FM 2011: Formal Methods FM 2011: Formal Methods
٢٠١١
Leveraging Applications of Formal Methods, Verification and Validation. Verification Leveraging Applications of Formal Methods, Verification and Validation. Verification
٢٠١٨
Software Engineering and Formal Methods Software Engineering and Formal Methods
٢٠٢٢
Formal Methods and Software Engineering Formal Methods and Software Engineering
٢٠١٩
Formal Methods Formal Methods
٢٠١٨
Model Checking Software Model Checking Software
٢٠٢٢