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)
الوسوم:	إضافة وسم لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!

الوصف
وصف المادة:	c.1. Donación Prof. Sandra Cano Mazuera / Esc. Ing. Informática 20-12-2023
وصف مادي:	x, 458 páginas.
بيبلوغرافيا:	Includes bibliographical references (pages 442-451) and index.
ردمك:	9781107048010 (hardback)

مواد مشابهة