Fundamental Approaches to Software Engineering المزيد من كتب Marsha Chechik & Martin Wirsing

Formal Methods Formal Methods
٢٠٢٣
Verified Software. Theories, Tools, and Experiments Verified Software. Theories, Tools, and Experiments
٢٠١٦
Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems
٢٠١٦