Program Logics for Certified Compilers
2014 • 472 sayfa
Yazan Andrew W. Appel, Xavier Leroy, Robert Dockins, Lennart Beringer, Sandrine Blazy
0
0
Bu cilt için açıklama henüz yok.
Raf ilerlemesi
Program Logics for Certified Compilers
Andrew W. Appel, Xavier Leroy, Robert Dockins, Lennart Beringer, Sandrine Blazy
0%0 / 472 sf
—
Tüm yorumlar
0Bu cilt için henüz görünür yorum yok.
Puanın