Andrew W. Appelの本 - BookPine

Verifiable C

Verifiable C

Andrew W. Appel

Securing the Vote: Protecting American Democracy

Securing the Vote: Protecting American Democracy

Lee C. Bollinger

Software Foundations, Volume 3: Verified Functional Algorithms

Software Foundations, Volume 3: Verified Functional Algorithms

Andrew W. Appel

Modern Compiler Implementation In C

Modern Compiler Implementation In C

Andrew W. Appel

Program Logics for Certified Compilers

Program Logics for Certified Compilers

Andrew W. Appel

Modern Compiler Implementation in ML

Modern Compiler Implementation in ML

Andrew W. Appel

Modern Compiler Implementation in C

Modern Compiler Implementation in C

Andrew W. Appel

Alan Turing's Systems of Logic: The Princeton Thesis

Alan Turing's Systems of Logic: The Princeton Thesis

Alan M. Turing

Compiling with Continuations

Compiling with Continuations

Andrew W. Appel

Proof-Carrying Code with Correct Compilers

Proof-Carrying Code with Correct Compilers

Andrew W. Appel

Modern Compiler Implementation in Java

Modern Compiler Implementation in Java

Andrew W. Appel

Modern Compiler Implement Java 2ed

Modern Compiler Implement Java 2ed

Andrew W. Appel

Modern Compiler Implementation in Java: Basic Techniques

Modern Compiler Implementation in Java: Basic Techniques

Andrew W. Appel

Modern Compiler Implementation in ML: Basic Techniques

Modern Compiler Implementation in ML: Basic Techniques

Andrew W. Appel

Modern Compiler Implementation in C: Basic Techniques

Modern Compiler Implementation in C: Basic Techniques

Andrew W. Appel

Modern Compiler Implementation in ML

Modern Compiler Implementation in ML

Andrew W. Appel

Modern Compiler Implementation in C

Modern Compiler Implementation in C

Andrew W. Appel

Modern Compiler Implementation in ML: Basic Techniques (Prelim Ed)

Modern Compiler Implementation in ML: Basic Techniques (Prelim Ed)

Andrew W. Appel

もっと見る