Order History
Premium Membership & Rewards
Help Center / FAQ
Theories of Programming Languages
eBook
$42.49
(
$56.00
)Save 24%
Earn 5X Rewards 1/1 - 12/31In stock
Buy this eBook as a gift for someone else
Buy this eBook as a gift for someone else
Personalize your gift
Pick up in store
Your local store may have stock of this item.
Your local store may have stock of this item.
Available on compatible , the free NOOK App, and in My Digital Library
NOOK App
Open NOOK app
Download NOOK app
NOOK Devices
- NOOK GlowLight 4 Plus
- NOOK GlowLight 4e
- NOOK GlowLight 4
- NOOK GlowLight Plus 7.8
- NOOK GlowLight 3
- NOOK GlowLight Plus 6
- NOOK 9" Lenovo Tablet (Arctic Grey and Frost Blue)
- NOOK 10" HD Lenovo Tablet
- NOOK Tablet 7" & 10.1
- NOOK by Samsung Galaxy Tab 7.0 [Tab A and Tab 4]
- NOOK by Samsung [Tab 4 10.1, S2 & E]
- NOOK for iOS
- NOOK for Android
BN.com website
Go to your Digital Library in My Account
Limit 1 per customer
First published in 1998, this textbook is a broad but rigourous survey of the theoretical basis for the design, definition and implementation of programming languages and of systems for specifying and proving programme behaviour. Both imperative and functional programming are covered, as well as the ways of integrating these aspects into more general languages. Recognising a unity of technique beneath the diversity of research in programming languages, the author presents an integrated treatment…