Tools and Algorithms for the Construction and Analysis of Systems Marsha Chechik & Jean-François Raskin의 도서 더 보기

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년
Fundamental Approaches to Software Engineering Fundamental Approaches to Software Engineering
Fundamental Approaches to Software Engineering
2009년