कवर छवि

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)
टैग: टैग जोड़ें
कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!
टिप्पणी देने वाले पहले व्यक्ति बनें!
आपको पहले लॉग इन होना चाहिए

समान संसाधन