3 Ebooks by Cesar Munoz
Aaron Dutle & Cesar Munoz: NASA Formal Methods
This book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018.The 24 full and 7 short papers presented in …
EPUB
English
DRM
€57.10
Otmane Ait Mohamed & Cesar Munoz: Theorem Proving in Higher Order Logics
This book constitutes the refereed proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2008, held in Montreal, Canada, in August 2008. The 17 revised …
PDF
English
DRM
€57.63
Cesar Muñoz: Treinta y Seis Días
Treinta y seis días cuenta la historia donde una familia mexicana fue víctima del crimen organizado. El 13 de diciembre de 2014, La Laja, Municipio de Ajuchitlán, Guerrero, cayéndole a su casa civile …
EPUB
Spanish
DRM
€9.49
