Ładuje się......

Program logics for certified compilers /

Opis bibliograficzny
1. autor:	Appel, Andrew W., 1960-
Format:	Printed Book
Język:	English
Hasła przedmiotowe:	Computer software > Verification. Logic, Symbolic and mathematical. Compilers (Computer programs)

Szczegóły zapisu University of Calicut
Sygnatura:	005.14 APP/P
Egzemplarz	Możliwość dostępu nieznana

Podobne zapisy