Theoretical Aspects of Computing - ICTAC 2015 Martin Leucker, Camilo Rueda & Frank D. Valencia의 도서 더 보기

Formal Methods Formal Methods
Formal Methods
2023년
Formal Methods in Outer Space Formal Methods in Outer Space
Formal Methods in Outer Space
2021년
Runtime Verification Runtime Verification
Runtime Verification
2018년
Formal Methods: Applications and Technology Formal Methods: Applications and Technology
Formal Methods: Applications and Technology
2007년
Runtime Verification Runtime Verification
Runtime Verification
2008년