Xavier Leroy

2 books

Adolf Hitler: Le dictateur à l'origine de la folie nazie by Xavier Leroy
Adolf Hitler: Le dictateur à l'origine de la folie nazie
—
Xavier Leroy

Adolf Hitler: Le dictateur à l'origine de la folie nazie

Xavier Leroy

84 pages • digital • 2015

Program Logics for Certified Compilers by Xaiser Leroy, Robert Dockins, Xavier Leroy, Aquinas Hobor, Josiah Dodds, Lennart Beringer, Gordon Stewart, Andrew W. Appel, Sandrine Blazy

Program Logics for Certified Compilers

Xaiser Leroy, Robert Dockins, Xavier Leroy, Aquinas Hobor, Josiah Dodds, Lennart Beringer, Gordon Stewart, Andrew W. Appel, Sandrine Blazy

472 pages • 2014

education challenging informative medium-paced