Andrew W. Appel 
Program Logics for Certified Compilers [PDF ebook] 

Support
Cover of Andrew W. Appel: Program Logics for Certified Compilers (PDF)
€102.86
payment methods
Buy this ebook and get 1 more FREE!
Language English ● Format PDF ● ISBN 9781139899383 ● Publisher Cambridge University Press ● Published 2014 ● Downloadable 6 times ● Currency EUR ● ID 2966807 ● Copy protection Adobe DRM
Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

Andrew W. AppelNew Jersey) Appel Andrew W. (Princeton University

16,627 Ebooks in this category

Cover of Mike McGrath: Coding for Beginners in easy steps, 3rd edition
Mike McGrath: Coding for Beginners in easy steps, 3rd edition
Now in its third edition, this bestseller will appeal to anyone, of any age, who wants to begin coding. Use Coding for Beginners in easy steps to help you quickly create a programming environment on …
EPUB
Adobe DRM
€18.50
Cover of Max Wainewright: Coding with Scratch - Make 3D Games & Graphics
Max Wainewright: Coding with Scratch – Make 3D Games & Graphics
Coding with Scratch – Make 3D Games & Graphics starts by showing you how to make 3D graphics and then, step-by-step, it takes you through to making 3D games. Try the challenges and mods and make your …
EPUB
Adobe DRM
€16.94
Cover of Ronen Barzel & Ken Greenebaum: Audio Anecdotes III
Ronen Barzel & Ken Greenebaum: Audio Anecdotes III
This collection of articles provides practical and relevant tools, tips, and techniques for those working in the digital audio field. Volume III, with contributions from experts in their fields, incl …
EPUB
Adobe DRM
€73.17
Cover of Shikha Jain & Kavita Pandey: Code Factory
Shikha Jain & Kavita Pandey: Code Factory
Beginners in the programming world often wander to get some essential books to learn logic building with the help of algorithms, flowcharts, and minor C/Python language code. Addressing this demand, …
EPUB
Adobe DRM
€25.32
Cover of Ashfaque (SCM Consulting, Bhilai, Chattisgarh, India) Ahmed & Bhanu (Florida A&M University, Tallahassee, USA) Prasad: Foundations of Software Engineering
Ashfaque (SCM Consulting, Bhilai, Chattisgarh, India) Ahmed & Bhanu (Florida A&M University, Tallahassee, USA) Prasad: Foundations of Software Engineering
The best way to learn software engineering is by understanding its core and peripheral areas. Foundations of Software Engineering provides in-depth coverage of the areas of software engineering that …
EPUB
Adobe DRM
€96.01
Cover of Mohd Fadzil Hassan & Fausto Pedro Garcia Marquez: Handbook of Research on Trends and Future Directions in Big Data and Web Intelligence
Mohd Fadzil Hassan & Fausto Pedro Garcia Marquez: Handbook of Research on Trends and Future Directions in Big Data and Web Intelligence
EPUB
Adobe DRM
€364.77
Cover of Information Resources Management Association: Web Services: Concepts, Methodologies, Tools, and Applications
Information Resources Management Association: Web Services: Concepts, Methodologies, Tools, and Applications
EPUB
Adobe DRM
€3,779.79
Cover of Gilbert (4-Degree Consulting, Macon, Georgia, USA) Held: Enhancing LAN Performance
Gilbert (4-Degree Consulting, Macon, Georgia, USA) Held: Enhancing LAN Performance
Enhancing LAN Performance, Fourth Edition explains how to connect geographically separated LANs with appropriate bandwidth, the issues to consider when weighing the use of multiport or dualport devic …
EPUB
Adobe DRM
€231.10
Cover of Hans-Jurgen Schonig: Mastering PostgreSQL 12
Hans-Jurgen Schonig: Mastering PostgreSQL 12
Master Postgre SQL 12 features such as advanced indexing, high availability, monitoring, and much more to efficiently manage and maintain your database Key Features
  • Grasp advanced Postgre SQ …
EPUB
Adobe DRM
€33.42
Cover of Elvis Foster & Bradford Towle Jr.: Software Engineering
Elvis Foster & Bradford Towle Jr.: Software Engineering
Software Engineering: A Methodical Approach (Second Edition) provides a comprehensive, but concise introduction to software engineering. It adopts a methodical approach to solving software engineerin …
EPUB
Adobe DRM
€77.33
Next page >>>