Computing and Software Science More Books Like This

Formal Methods Formal Methods
Formal Methods
2023
ModelEd, TestEd, TrustEd ModelEd, TestEd, TrustEd
ModelEd, TestEd, TrustEd
2017
Dependable Software Engineering. Theories, Tools, and Applications Dependable Software Engineering. Theories, Tools, and Applications
Dependable Software Engineering. Theories, Tools, and Applications
2020
Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
2019
From Reactive Systems to Cyber-Physical Systems From Reactive Systems to Cyber-Physical Systems
From Reactive Systems to Cyber-Physical Systems
2019
AIxIA 2022 – Advances in Artificial Intelligence AIxIA 2022 – Advances in Artificial Intelligence
AIxIA 2022 – Advances in Artificial Intelligence
2023
Formal Methods in Outer Space Formal Methods in Outer Space
Formal Methods in Outer Space
2021
Leveraging Applications of Formal Methods, Verification and Validation. Verification Leveraging Applications of Formal Methods, Verification and Validation. Verification
Leveraging Applications of Formal Methods, Verification and Validation. Verification
2018
Formal Methods Formal Methods
Formal Methods
2018
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
2015
NASA Formal Methods NASA Formal Methods
NASA Formal Methods
2022
Verification, Model Checking, and Abstract Interpretation Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
2023
Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
2019
Quantitative Evaluation of Systems Quantitative Evaluation of Systems
Quantitative Evaluation of Systems
2019
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
2016