Theories of Programming Languages by John C. Reynolds (1998, Hardcover) 
Theories of Programming Languages by John C. Reynolds (1998, Hardcover)

 
Theories of Programming Languages by John C. Reynolds (1998, Hardcover)

Author: John C. Reynolds
Publisher: Cambridge Univ Pr
Publication Date: 1998-05-01
Language: English
Format: Hardcover
ISBN-10: 0521594146
ISBN-13: 9780521594141
Product ID: EPID1140513
Portions of this page Copyright 1995 - 2009 Muze Inc. All rights reserved.
Clear AllPreferences
Distance
Please enter valid zipcode.
Please select a valid popular city.
Please enter valid zipcode or select a valid popular city.
Within miles of ZIP
7 results|Group by condition
Preferences: Include Store inventory, Buy It Now [ Edit preferences | Clear preferences ]
View as 
Customize view ]
Sort by: 
Price + Shipping to USATime Left
GOOD Crisp, clean and unread hardcover with light shelfwear to the boards (no dust
Condition: Good
 
Buy It Now
$74.85
+$3.99 shipping
---
Condition: Brand New
 
Buy It Now
$75.95
+$3.99 shipping
---
New NO EXPEDITED SHIPPING! Brand new item.
Condition: Brand New
 
Buy It Now
$80.42
+$3.99 shipping
---
Excellent customer service. May ship from alternate location depending on your zip
Condition: Brand New
 
Buy It Now
$95.71
+$3.99 shipping
---
Like new. Never opened! Satisfaction Guaranteed .
Condition: Like New
 
Buy It Now
$102.14
+$3.99 shipping
---
Very good used condition. Satisfaction Guaranteed .
Condition: Very Good
 
Buy It Now
$103.92
+$3.99 shipping
---
Excellent customer service. May ship from alternate location depending on your zip
Condition: Very Good
 
Buy It Now
$121.94
+$3.99 shipping
---
Page 1 of 1
Details
Publication Date:1998-05-01

Size
Length:500 pages
Height:10.5 in
Width:7.3 in
Thickness:1.0 in
Weight:38.4 oz

Publisher's Note
This textbook is a broad but rigorous survey of the theoretical basis for the design, definition, and implementation of programming languages, and of systems for specifying and proving program behavior. It encompasses imperative and functional programming, as well as the ways of integrating these aspects into more general languages. Basic concepts and their properties are described with mathematical rigor, but the mathematical development is balanced by numerous examples of applications, particularly of program specification and proof, concurrent programming, functional programming (including the use of continuations and lazy evaluation), and type systems (including subtyping, polymorphism, and modularization). Assuming only knowledge of elementary programming, this text is perfect for advanced undergraduate and beginning graduate courses in programming language theory, and will also appeal to researchers and professionals in designing or implementing computer languages.

See an error? Submit a change request

    About eBay | Announcements | Security Center | Resolution Center | eBay Toolbar | Policies | Government Relations | Site Map | Help
    Copyright © 1995-2009 eBay Inc. All Rights Reserved. Designated trademarks and brands are the property of their respective owners. Use of this Web site constitutes acceptance of the eBay User Agreement and Privacy Policy.
    eBay official time

    Error
    We're sorry, but there's been an error.
    Please try again.