|Listed in category:
This item is out of stock.
Have one to sell?

Foundations for Programming Languages by Mitchell, John C.

by Mitchell, John C. | HC | Acceptable
US $35.66
ApproximatelyC $49.16
Condition:
Acceptable
Former library book; Readable copy. Pages may have considerable notes/highlighting. ~ ... Read moreabout condition
Shipping:
Free Economy Shipping.
Estimated between Thu, Aug 7 and Mon, Aug 11 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.
Located in: Aurora, Illinois, United States
Returns:
30 days return. Seller pays for return shipping.
Payments:
     Diners Club

Shop with confidence

eBay Money Back Guarantee
Get the item you ordered or your money back. Learn moreeBay Money Back Guarantee - opens new window or tab
Seller assumes all responsibility for this listing.
eBay item number:146420288002
Last updated on Jul 25, 2025 17:07:46 EDTView 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 the seller’s listing for full details and description of any imperfections. 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
Language
English
Publication Name
Foundations for Programming Languages
Publication Year
1996
Subject
Programming Languages / General
Type
Textbook
Author
Michael R. Garey, John C. Mitchell, Albert Meyer
Subject Area
Computers
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
Dewey Edition
20
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
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

98.9% positive feedback19.7M 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

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,695,707)

All ratings
Positive
Neutral
Negative
  • c***m (421)- Feedback left by buyer.
    Past 6 months
    Verified purchase
    WOW!; I cannot believe this 3 Days to Hawaii! ; AAA+++; Excellent Service; Great Pricing; Fast Delivery-Faster Than Expected to Hawaii!; Shipped 05/05, Mon, Received 05/08, Thu to Hawaii using free shipping; USPS Ground Mail, Book in Excellent Condition--Better Than Described ; TLC Packaging; Excellent Seller Communication, Sends updates . Highly Recommended!, Thank you very much!
  • v***v (2060)- Feedback left by buyer.
    Past month
    Verified purchase
    Although this book was not as described, with no picture of it in the listing, the seller communicated well and quickly gave me a full refund while letting me keep it. The minimal packaging left the book a bit vulnerable (typical for ThriftBooks), but it did arrive safely and timely. As usual, it’s hit or miss with this seller, but often times you can get great values, and their customer service is always very good. Many other sellers with millions of transactions don’t even communicate.
  • 2***j (113)- Feedback left by buyer.
    Past month
    Verified purchase
    I've ordered several items from this vendor now and they've always been what they were advertised as. This was no exception. Both discs were in great shape as well as their jewel cases. Delivery is good, packaging is simple but effective for what you're paying and I haven't had any get damaged. Will keep buying from this vendor because of the results so far and good prices, too.