Yazar
Xavier Leroy
7 cilt bulundu.
Cilt sonuçları
Program Logics for Certified Compilers
Andrew W. Appel, Xavier Leroy, Robert Dockins, Lennart Beringer, Sandrine Blazy · Cambridge University Press
472 sayfa · 2014
Logic programming / Compilers (computer programs) / Computer software / Verification / Symbolic and mathematical Logic
Vie quotidienne des marins nantais au XIXe
Xavier Leroy · Books on demand
Sayfa sayısı yok · 2015
Seafaring life / History / Merchant marine / Sailors / Biography
Chercher sa voie
Lucette Colin, Anissa Ben Hamouda, Delphine Leroy, Joel Xavier, Anna Royon-Weigelt · Téraèdre
331 sayfa · 2016
Immigrant youth / Biography / Children of immigrants / Multiculturalism