Program Logics for Certified Compilers
Program Logics for Certified Compilers
$129.99Hardcover
In stock, ships in 1-2 business days
Free standard shipping on orders over $40. ISBN 9781107048010
1
Details
- Format
- Hardcover
- ISBN-13
- 9781107048010
- Publisher
- Cambridge University Press
- Published
- April 21, 2014
- Pages
- 472
- Weight
- 26.4 oz
- Subject
- Computers
More by Andrew W. Appel
All booksAlan Turing's Systems of Logic: The Princeton Thesis
Alan Turing's Systems of Logic: The Princeton Thesis
Andrew W. Appel
$16.99
Compiling with Continuations
Compiling with Continuations
Andrew W. Appel
$129.99
Modern Compiler Implementation in C
Modern Compiler Implementation in C
Andrew W. Appel
$128.99
Modern Compiler Implementation in ML
Modern Compiler Implementation in ML
Andrew W. Appel
$128.99
Modern Compiler Implementation in Java
Modern Compiler Implementation in Java
Andrew W. Appel
$142.99
Popular in Computers
Browse Computers
Build a Large Language Model (from Scratch)
Sebastian Raschka
$65.99
Python Crash Course, 3rd Edition: A Hands-On, Project-Based Introduction to Programming
Eric Matthes
$38.99
Build a Reasoning Model (from Scratch)
Sebastian Raschka
$65.99
The Book of Why: The New Science of Cause and Effect
Judea Pearl
$18.99
Automate the Boring Stuff with Python, 3rd Edition
Al Sweigart
$50.99
Build an AI Agent (from Scratch): Agents That Reason, Plan, and ACT Autonomously
Jungjun Hur
$65.99
The Spacecraft Hacker's Handbook: Exploiting Ground Stations, Flight Software, and Satellite Terminals
Andrzej Olchawa
$58.99
Generative Engine Optimization: The Definitive Guide to AI SEO
Ross Hudgens
$23.99
Microsoft Excel 365 Bible
Michael Alexander
$47.99
Embedded AI: Intelligence at the Deep Edge
David Such
$65.99
AI Agents and Applications: With Langchain, Langgraph, and MCP
Roberto Infante
$65.99
Unbreakable: Secure Your Digital Life in a World Built to Breach You
Phillip Shoemaker
$23.99