Compiler Specification and Verification

Paperback(1981)

$39.99

SHIP THIS ITEM

In stock. Ships in 6-10 days.
PICK UP IN STORE

Your local store may have stock of this item.

Available within 2 business hours

ISBN-13:	9783540108863
Publisher:	Springer Berlin Heidelberg
Publication date:	11/16/1981
Series:	Lecture Notes in Computer Science , #124
Edition description:	1981
Pages:	272
Product dimensions:	6.10(w) x 9.25(h) x 0.02(d)

Theoretical framework.- Source and target languages.- The compiler proof.- Conclusions.

From the B&N Reads Blog

Page 1 of