Program logics for certified compilers.

שמור ב:

מידע ביבליוגרפי
Main Authors:	Appel, Andrew W., 1960- (Author), Dockins, Robert (Author), Hobor, Aquinas (Author), Beringer, Lennart (Author), Dodds, Josiah (Author), Stewart, Gordon (Author), Blazy, Sandrine (Author), Leroy, Xavier (Author)
פורמט:	ספר
שפה:	אנגלית
יצא לאור:	New York, NY., USA: Cambridge University Press, 2014.
נושאים:	Software > Verificación Lógica, simbólica y matemática Compiladores (programas informáticos)
תגים:	הוספת תג אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!

היה/י הראשונ/ה לכתוב הערה!

פריטים דומים