Yazar
Robert Dockins
1 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