Select A Store
Select Store
My Store:
Select A Store
Results for "Appel, Andrew W."
Appel, Andrew W.
1 - 8 of 8 results
View :
Overview :
Separation Logic is the twenty-first-century variant of Hoare Logic that permits verification of pointer-manipulating programs. This book co... Read More
$111.00
Overview :
This book shows how continuation-passing style is used as an intermediate representation to perform optimizations and program transformation... Read More
$39.99
-
$46.99
Overview :
This new, expanded textbook describes all phases of a modern compiler: lexical analysis, parsing, abstract syntax, semantic actions, interme... Read More
$49.49
-
$104.00
Overview :
This new, expanded textbook describes all phases of a modern compiler: lexical analysis, parsing, abstract syntax, semantic actions, interme... Read More
$14.49
-
$99.00
Overview :
Between inventing the concept of a universal computer in 1936 and breaking the German Enigma code during World War II, Alan Turing (1912-195... Read More
$7.49
-
$15.99
Overview :
This textbook describes all phases of a compiler: lexical analysis, parsing, abstract syntax, semantic actions, intermediate representations... Read More
$24.99
There are no products for Pickup Today at