Lataa...

Program logics for certified compilers /

Bibliografiset tiedot
Päätekijä:	Appel, Andrew W., 1960-
Aineistotyyppi:	Printed Book
Kieli:	English
Aiheet:	Computer software > Verification. Logic, Symbolic and mathematical. Compilers (Computer programs)

Saatavuus: University of Calicut
Hyllypaikka:	005.14 APP/P
Nide	Reaaliaikaista tietoa ei saatavissa

Samankaltaisia teoksia