Imagen Principal
1 2

Computer-Aided Reasoning: ACL2 Case Studies (Advances in Formal Methods, Volume 4)

Textbooks.com
62.70 USD
Imagen ampliada