Andrew W Appel

Andrew W AppelAndrew W. Appel is the Eugene Higgins Professor and Chairman of the Department of Computer Science at Princeton University, New Jersey, where he has been on the faculty since 1986. His research is in software verification, computer security, programmng languages and compilers, automated theorem proving, and technology policy. He is known for his work on Standard ML of New Jersey and on Foundational Proof-Carrying Code. He is a Fellow of the Association for Computing Machinery, recipient of the ACM SIGPLAN Distinguished Service Award, and has served as Editor in Chief of ACM Transactions on Programming Languages and Systems. His previous books include Compiling with Continuations (1992), the Modern Compiler Implementation series (1998 and 2002) and Alan Turing's Systems of Logic (2012). Read More Read Less

17 results found
List viewGrid view
Sort By:
3.
Modern Compiler Implementation in ML16 %
2.5 (4)
₹7,137
₹5,995
Binding:
Paperback
Release:
08 Jul 2004
Language:
English
Available
Ships within 4-6 Days Explain..
4.
Alan Turing's Systems of Logic31 %
No Review Yet
₹1,304
₹900
Binding:
Paperback
Release:
16 Nov 2014
Language:
English
Available
Ships within 1-2 Days Explain..
5.
Alan Turing's Systems of Logic29 %
No Review Yet
₹2,600
₹1,846
Binding:
Hardback
Release:
27 May 2012
Language:
English
Available
Ships within 4-6 Days Explain..
8.
Modern Compiler Implementation in C58 %
No Review Yet
₹1,986
₹834
Binding:
Paperback
Release:
13 Jan 1997
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
9.
Modern Compiler Implementation in C53 %
No Review Yet
₹2,685
₹1,262
Binding:
Hardcover
Release:
13-Dec-97
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
10.
Modern Compiler Implementation in ML8 % NR
No Review Yet
₹5,225
₹4,821
Binding:
Hardback
Release:
13 Jan 1997
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
11.
Modern Compiler Implementation in Java7 % NR
No Review Yet
₹1,895
₹1,756
Binding:
Paperback
Release:
13 Jan 1997
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
12.
Modern Compiler Implementation in C9 % NR
No Review Yet
₹5,225
₹4,766
Binding:
Hardback
Release:
13 Jan 1997
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
13.
Modern Compiler Implementation in ML2 % NR
No Review Yet
₹36,000
₹35,164
Binding:
Digital (delivered electronically)
Release:
05 Jun 2012
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
14.
Modern Compiler Implementation in C2 % NR
No Review Yet
₹36,000
₹35,164
Binding:
Digital (delivered electronically)
Release:
05 Jun 2012
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
15.
Modern Compiler Implementation in Java8 % NR
No Review Yet
₹5,225
₹4,822
Binding:
Hardback
Release:
13 Jan 1997
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
16.
Modern Compiler Implementation in ML9 % NR
No Review Yet
₹3,205
₹2,922
Binding:
Hardback
Release:
13 Dec 1997
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
17.
Modern Compiler Implementation in Java2 % NR
No Review Yet
₹36,000
₹35,164
Binding:
Digital (delivered electronically)
Release:
05 Jun 2012
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found