Verfasser Suchresultate

Normdaten (Quelle GND / Entity Facts )

Andrew W. Appel

geboren 1960
Programmierer

Weiterführende Links

Gemeinsame Normdatei (GND) im Katalog der Deutschen Nationalbibliothek

Open Researcher and Contributor ID (ORCID)

Bibliothèque nationale de France

Wikipedia (English)

Deutsche Digitale Bibliothek

NACO Authority File

Virtual International Authority File (VIAF)

Wikidata

International Standard Name Identifier (ISNI)

Program logics for certified compilers

Appel, Andrew W.

New York, NY : Cambridge Univ. Press, 2014

E-Book

Modern compiler implementation in Java

Appel, Andrew W. (Verfasser)

2nd edition

Cambridge : Cambridge University Press, 2002

E-Book

Modern compiler implementation in Java

Appel, Andrew W. (Verfasser)

Rev. and expanded edition of "Modern compiler implementation in Java : basic techniques

Cambridge : Cambridge Univ. Press, 1998

Buch

Modern compiler implementation in C

Appel, Andrew W. (Verfasser)

Cambridge : Cambridge University Press, 1998

E-Book

Modern compiler implementation in ML

Appel, Andrew W. (Verfasser)

Cambridge : Cambridge University Press, 1998

E-Book

Modern compiler implementation in Java : basic techniques

Appel, Andrew W. (Verfasser)

Cambridge : Cambridge Univ. Press, 1997

Buch

Modern compiler implementation in C : basic techniques

Appel, Andrew W. (Verfasser)

Priliminary edition of Modern compiler implementation in C

Cambridge : Cambridge Univ. Press, 1997

Buch

Compiling with continuations

Appel, Andrew W. (Verfasser)

Cambridge : Cambridge University Press, 1992

E-Book

Alan Turing's Systems of logic : the Princeton thesis

Turing, Alan (Verfasser)

Princeton ; Oxford : Princeton University Press, [2012]

E-Book

On synthesising Linux kernel module components from Coq formalisations

Frank, Mario (Verfasser)

Potsdam : Universität Potsdam, 2024

E-Book

Treffer 1 - 10 von 10

Andrew W. Appel

Weiterführende Links

Suche einschränken