Yüklüyor......

Program logics for certified compilers /

Detaylı Bibliyografya
Yazar:	Appel, Andrew W., 1960-
Materyal Türü:	Printed Book
Dil:	English
Konular:	Computer software > Verification. Logic, Symbolic and mathematical. Compilers (Computer programs)

Detaylı Erişim Bilgileri University of Calicut
Yer Numarası:	005.14 APP/P
Kopya Bilgisi	Konumu erişilebilir değil.

Benzer Materyaller