Formal Methods for Software Engineering Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider & Siraj Ahmed Shaikh의 도서 더 보기

Applicable Formal Methods for Safe Industrial Products Applicable Formal Methods for Safe Industrial Products
Applicable Formal Methods for Safe Industrial Products
2023년
Recent Trends in Algebraic Development Techniques Recent Trends in Algebraic Development Techniques
Recent Trends in Algebraic Development Techniques
2021년
Formal Methods – Fun for Everybody Formal Methods – Fun for Everybody
Formal Methods – Fun for Everybody
2021년
Recent Trends in Algebraic Development Techniques Recent Trends in Algebraic Development Techniques
Recent Trends in Algebraic Development Techniques
2017년