Programming Language Foundations | Agenda Bookshop Skip to content
Please note that books with a 10-20 working days delivery time may not arrive before Christmas.
Please note that books with a 10-20 working days delivery time may not arrive before Christmas.
A01=Aaron Stump
Age Group_Uncategorized
Age Group_Uncategorized
Author_Aaron Stump
automatic-update
Category1=Non-Fiction
Category=UMX
COP=United States
Delivery_Delivery within 10-20 working days
Language_English
PA=Available
Price_€100 and above
PS=Active
softlaunch

Programming Language Foundations

★★★★★
★★★★★

English

By (author): Aaron Stump

Programming Language Foundations is a concise text that covers a wide range of topics in the mathematical semantics of programming languages, for readers without prior advanced background in programming languages theory. The goal of the book is to provide rigorous but accessible coverage of essential topics in the theory of programming languages.

Stumps Programming Language Foundations is intended primarily for a graduate-level course in programming languages theory which is standard in graduate-level CS curricula. It may also be used in undergraduate programming theory courses but ONLY where students have a strong mathematical preparation. See more
€116.84
€122.99
Save 5%
A01=Aaron StumpAge Group_UncategorizedAuthor_Aaron Stumpautomatic-updateCategory1=Non-FictionCategory=UMXCOP=United StatesDelivery_Delivery within 10-20 working daysLanguage_EnglishPA=AvailablePrice_€100 and abovePS=Activesoftlaunch
Delivery/Collection within 10-20 working days
Product Details
  • Weight: 476g
  • Dimensions: 185 x 231mm
  • Publication Date: 26 Nov 2013
  • Publisher: John Wiley & Sons Inc
  • Publication City/Country: United States
  • Language: English
  • ISBN13: 9781118007471

About Aaron Stump

Aaron Stump is an associate professor of Computer Science at The University of Iowa.?He received his bachelor's degree from Cornell University in Philosophy and Computer Science in 1997 and his doctoral degree from Stanford University in Computer Science in 2002.?His research interests are in computational logic and foundations of programming languages. He has served as associate editor of the ACM Transactions on Programming Languages and Systems and on the steering committees of the International Conference on Automated Deduction (CADE) and Rewriting Techniques and Applications (RTA).?His research has been supported by grants from the National Science Foundation including a CAREER award.

Customer Reviews

Be the first to write a review
0%
(0)
0%
(0)
0%
(0)
0%
(0)
0%
(0)
We use cookies to ensure that we give you the best experience on our website. If you continue we'll assume that you are understand this. Learn more
Accept