Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques المزيد من الكتب المشابهة

Software Engineering and Formal Methods Software Engineering and Formal Methods
٢٠١٧
Formal Methods and Software Engineering Formal Methods and Software Engineering
٢٠١٨
Dependable Software Engineering. Theories, Tools, and Applications Dependable Software Engineering. Theories, Tools, and Applications
٢٠١٨
Formal Methods for Industrial Critical Systems Formal Methods for Industrial Critical Systems
٢٠١٨
From Software Engineering to Formal Methods and Tools, and Back From Software Engineering to Formal Methods and Tools, and Back
٢٠١٩
Software Technologies: Applications and Foundations Software Technologies: Applications and Foundations
٢٠١٨
Formal Methods for Eternal Networked Software Systems Formal Methods for Eternal Networked Software Systems
٢٠١١
Formal Methods. FM 2019 International Workshops Formal Methods. FM 2019 International Workshops
٢٠٢٠
Transactions on Foundations for Mastering Change I Transactions on Foundations for Mastering Change I
٢٠١٦
Formal Aspects of Component Software Formal Aspects of Component Software
٢٠١٤
Software Engineering and Formal Methods Software Engineering and Formal Methods
٢٠١٤
Software Engineering and Formal Methods Software Engineering and Formal Methods
٢٠١٦
Software Engineering and Formal Methods Software Engineering and Formal Methods
٢٠١٥
New Trends in Model and Data Engineering New Trends in Model and Data Engineering
٢٠١٨
Fundamentals of Software Engineering Fundamentals of Software Engineering
٢٠١٩