Back to eBay Home
|Listed in category:

Picture 1 of 1

Foundations for Programming Languages by Mitchell, John C. - Picture 1 of 1
Have one to sell?
Sell it yourself

Foundations for Programming Languages by Mitchell, John C.

by Mitchell, John C. | HC | Acceptable
ThriftBooks
(3905110)
Seller's other items
Contact seller
US $30.80
ApproximatelyPHP 1,716.79
Condition:
Acceptable
“Former library book; Readable copy. Pages may have considerable notes/highlighting. ~ ”... Read moreabout condition
Breathe easy. Free shipping and returns.
Shipping:
Free Economy Shipping.
Located in: Aurora, Illinois, United States
Delivery:
Estimated between Wed, 11 Jun and Mon, 16 Jun to 94104
Estimated delivery dates - opens in a new window or tab include seller's handling time, origin ZIP Code, destination ZIP Code and time of acceptance and will depend on shipping service selected and receipt of cleared paymentcleared payment - opens in a new window or tab. Delivery times may vary, especially during peak periods.
Returns:
30 days return. Seller pays for return shipping.
Coverage:
Read item description or contact seller for details. See all detailsSee all details on coverage
(Not eligible for eBay purchase protection programmes)
Report this item - opens in new window or tab
Seller assumes all responsibility for this listing.
eBay item number:146420288002
Last updated on Jun 07, 2025 17:35:07 PHTView all revisionsView all revisions

Item specifics

Condition
Acceptable
A book with obvious wear. May have some damage to the cover but integrity still intact. The binding may be slightly damaged but integrity is still intact. Possible writing in margins, possible underlining and highlighting of text, but no missing pages or anything that would compromise the legibility or understanding of the text. See all condition definitionsopens in a new window or tab
Seller Notes
“Former library book; Readable copy. Pages may have considerable notes/highlighting. ~ ...
Binding
Hardcover
Book Title
Foundations for Programming Languages
Weight
3 lbs
Product Group
Book
IsTextBook
Yes
ISBN
9780262133210

About this product

Product Identifiers

Publisher
MIT Press
ISBN-10
0262133210
ISBN-13
9780262133210
eBay Product ID (ePID)
59310

Product Key Features

Number of Pages
868 Pages
Publication Name
Foundations for Programming Languages
Language
English
Subject
Programming Languages / General
Publication Year
1996
Type
Textbook
Subject Area
Computers
Author
Michael R. Garey, John C. Mitchell, Albert Meyer
Series
Foundations of Computing Ser.
Format
Hardcover

Dimensions

Item Height
1.8 in
Item Weight
53.1 Oz
Item Length
9.2 in
Item Width
7 in

Additional Product Features

Intended Audience
College Audience
LCCN
95-045243
Reviews
"Programming languages embody the pragmatics of designing software systems, and also the mathematical concepts which underlie them. Anyone who wants to know how, for example, object-oriented programming rests upon a firm foundation in logic should read this book. It guides one surefootedly through the rich variety of basic programming concepts developed over the past forty years." -Robin Milner, Professor of Computer Science, The Computer Laboratory, Cambridge University
Dewey Edition
20
Illustrated
Yes
Dewey Decimal
005.13/1
Synopsis
Written for advanced undergraduate and beginning graduate students, Foundations for Programming Languages uses a series of typed lambda calculi to study the axiomatic, operational, and denotational semantics of sequential programming languages. Later chapters are devoted to progressively more sophisticated type systems. Compared to other texts on the subject, Foundations for Programming Languages is distinguished primarily by its inclusion of material on universal algebra and algebraic data types, imperative languages and Floyd-Hoare logic, and advanced chapters on polymorphism and modules, subtyping and object-oriented concepts, and type inference. The book is mathematically oriented but includes discussion, motivation, and examples that make the material accessible to students specializing in software systems, theoretical computer science, or mathematical logic. Foundations for Programming Languages is suitable as a reference for professionals concerned with programming languages, software validation or verification, and programming, including those working with software modules or object-oriented programming.Foundations of Computing series
LC Classification Number
QA76.7.M57 1996

Item description from the seller

About this seller

ThriftBooks

99% positive feedback•19.5M items sold

Joined Mar 2015
Just Voted on Newsweek - ThriftBooks ranks #1 America's Best Online Shops 2025 in Office, Electronics & Media sector, Media category!!ThriftBooks is a fully independent seller of used books, having ...
See more
Visit storeContact

Detailed Seller Ratings

Average for the last 12 months
Accurate description
4.9
Reasonable shipping cost
5.0
Shipping speed
5.0
Communication
4.9

Seller feedback (5,646,299)

All ratings
Positive
Neutral
Negative
See all feedback