Verification and Evaluation of Computer and Communication Systems Más libros de Pierre Ganty & Mohamed Kaâniche

Reachability Problems Reachability Problems
2025
Trustworthy Global Computing Trustworthy Global Computing
2016