Program logics for certified compilers /

Manylion Llyfryddiaeth
Prif Awdur: Appel, Andrew W., 1960-
Fformat: Printed Book
Iaith:English
Pynciau:
Computer software > Verification.
Logic, Symbolic and mathematical.
Compilers (Computer programs)

University of Calicut

Manylion daliadau o University of Calicut
Rhif Galw: 005.14 APP/P
Copi Nid yw'r Statws Byw ar Gael

Eitemau Tebyg