Program logics for certified compilers /

Xehetasun bibliografikoak
Egile nagusia: Appel, Andrew W., 1960-
Formatua: Printed Book
Hizkuntza:English
Gaiak:
Computer software > Verification.
Logic, Symbolic and mathematical.
Compilers (Computer programs)
Deskribapena
Deskribapen fisikoa:x, 458 pages : illustrations ; 24 cm
Bibliografia:Includes bibliographical references (pages 442-451) and index.
ISBN:9781107048010 (hardback)

Antzeko izenburuak