Wird geladen...

Program logics for certified compilers /

Bibliographische Detailangaben
1. Verfasser:	Appel, Andrew W., 1960-
Format:	Printed Book
Sprache:	English
Schlagworte:	Computer software > Verification. Logic, Symbolic and mathematical. Compilers (Computer programs)

Bestandesangaben von University of Calicut
Signatur:	005.14 APP/P
Exemplar	Live-Status nicht verfügbar

Ähnliche Einträge