Fundamental Approaches to Software Engineering Más libros de Marsha Chechik & Martin Wirsing

Formal Methods Formal Methods
Formal Methods
2023
Verified Software. Theories, Tools, and Experiments Verified Software. Theories, Tools, and Experiments
Verified Software. Theories, Tools, and Experiments
2016
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
2016