Program logics for certified compilers.

محفوظ في:

التفاصيل البيبلوغرافية
المؤلفون الرئيسيون:	Appel, Andrew W., 1960- (مؤلف), Dockins, Robert (مؤلف), Hobor, Aquinas (مؤلف), Beringer, Lennart (مؤلف), Dodds, Josiah (مؤلف), Stewart, Gordon (مؤلف), Blazy, Sandrine (مؤلف), Leroy, Xavier (مؤلف)
التنسيق:	كتاب
اللغة:	الإنجليزية
منشور في:	New York, NY., USA: Cambridge University Press, 2014.
الموضوعات:	Software > Verificación Lógica, simbólica y matemática Compiladores (programas informáticos)
الوسوم:	إضافة وسم لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!

Biblioteca Mayor de Ingeniería -

تفاصيل المقتنيات من Biblioteca Mayor de Ingeniería -
رقم الاستدعاء:	005.14 APP 2014
النسخة 1	متاح أحجز النسخة