Program logics for certified compilers /

Bibliographic Details
Main Author:	Appel, Andrew W., 1960- (Author)
Format:	Book
Language:	English
Published:	Cambridge ; New York : Cambridge University Press, 2014.
Subjects:	Computer software > Verification. Logic, Symbolic and mathematical. Compilers (Computer programs)

Description
Physical Description:	ix, 458 pages : illustrations ; 24 cm.
Bibliography:	Includes bibliographical references (pages 452-441) and index.
ISBN:	9781107048010 (hardback) 110704801X (hardback)