Theoretical Aspects of Computing - ICTAC 2015 المزيد من كتب Martin Leucker, Camilo Rueda & Frank D. Valencia

Formal Methods Formal Methods
Formal Methods
٢٠٢٣
Formal Methods in Outer Space Formal Methods in Outer Space
Formal Methods in Outer Space
٢٠٢١
Runtime Verification Runtime Verification
Runtime Verification
٢٠١٨
Formal Methods: Applications and Technology Formal Methods: Applications and Technology
Formal Methods: Applications and Technology
٢٠٠٧
Runtime Verification Runtime Verification
Runtime Verification
٢٠٠٨