Program logics for certified compilers /

Bibliografiske detaljer
Hovedforfatter: Appel, Andrew W., 1960-
Format: Printed Book
Sprog:English
Fag:
Computer software > Verification.
Logic, Symbolic and mathematical.
Compilers (Computer programs)

University of Calicut

Detaljer om beholdninger fra University of Calicut
Klassifikationsnummer: 005.14 APP/P
Kopi Live Status Unavailable

Lignende værker