Načítá se...

Program logics for certified compilers /

Podrobná bibliografie
Hlavní autor:	Appel, Andrew W., 1960-
Médium:	Printed Book
Jazyk:	English
Témata:	Computer software > Verification. Logic, Symbolic and mathematical. Compilers (Computer programs)

Informace o exemplářích z: University of Calicut
Signatura:	005.14 APP/P
Jednotka	Neznámá aktuální dostupnost

Podobné jednotky