Yazar
Lennart Beringer
3 cilt bulundu.
Cilt sonuçları
Interactive Theorem Proving
Lennart Beringer · Springer Berlin Heidelberg
Sayfa sayısı yok · 2012
Mathematical Logic and Formal Languages / Software engineering / Systems and Data Security / Data protection / Logic design
Interactive Theorem Proving
Lecture Notes in Computer Science Theoretical Computer Sci
Lennart Beringer · Springer
Sayfa sayısı yok · 2012
Automatic theorem proving / Congresses / Software engineering / Data protection / Logic design
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