|Listed in category:
Have one to sell?

Foundations for Programming Languages by Mitchell, John C.

by Mitchell, John C. | HC | Acceptable
ThriftBooks
(3905258)
Registered as a business seller
US $30.65
Approximately£22.66
Condition:
Acceptable
Former library book; Readable copy. Pages may have considerable notes/highlighting. ~ ... Read moreAbout condition
Breathe easy. Free postage and returns.
Postage:
Free Economy Shipping.
Estimated between Thu, 12 Jun and Mon, 16 Jun to 94104
Estimated delivery dates - opens in a new window or tab reflect seller's dispatch time, origin postcode, destination postcode and time of order receipt, and will depend on the delivery service selected and receipt of cleared paymentcleared payment - opens in a new window or tab. Delivery times may vary, especially during peak periods, and are an estimate only.
Located in: Aurora, Illinois, United States
Returns:
30 days return. Seller pays for return postage.
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 08 Jun, 2025 10:38:13 BSTView all revisionsView all revisions

Item specifics

Condition
Acceptable
A book with obvious wear. May have some damage to the book cover but the book is still completely intact. The binding may be slightly damaged around the edges but it is still completely intact. May have some underlining and highlighting of text and some writing in the margins, but there are no missing pages or anything else that would compromise the readability or legibility 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
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

Seller business information

I certify that all my selling activities will comply with all EU laws and regulations.
About this seller

ThriftBooks

99% positive Feedback19.5M items sold

Joined Mar 2015
Registered as a business seller
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 postage cost
5.0
Delivery time
5.0
Communication
4.9

Popular categories from this shop

Seller Feedback (5,646,506)

All ratings
Positive
Neutral
Negative
  • l***l (6196)- Feedback left by buyer.
    Past month
    Verified purchase
    I must say from the very beginning of this transaction that everything went smooth. The seller gave me a good quality product for a great price that was brand new and appeared to be better than what was pictured. I plan on purchasing more products in the near future from this seller. The product was shipped and packaged with care and love. Magnificent communication and all of what I said makes this seller a great asset to the eBay community as well as the marketplace.
  • y***e (1043)- Feedback left by buyer.
    Past 6 months
    Verified purchase
    🏆 SUPER STAR🤩 AMAZING PHOTOS 🎯 ACCURATE DESCRIPTION ✏️ GENUINE PRODUCTS 💎 HIGH QUALITY 🍯 SUPER PRICES 💰 EASY TO WORK WITH 🍰 ECONOMY HANDLING ⏱️ FAST SHIPPING 🚀 BUBBLE PACKAGE 📦 ARRIVED WITHIN DAYS 🌎 EXCEPTIONAL COMMUNICATION 🎙️ OUTSTANDING CUSTOMER SERVICE 🛎️ GREAT SENSE OF HUMOR 🍿 TOTAL ASSET TO THE EBAY-ECO SYSTEM 🥇 SAVED SELLER 🎱 PROMT REPLY FOR RETURNS 🎯 WOULD BUY FROM AGAIN 🧲 UNDER PROMISES OVER DELIVERS ⛳️ MADE ME VERY HAPPY 🌈 LEFT POSITIVE FEEDBACK 🌼 THANK YOU! 😇 AAAA
  • k***a (58)- Feedback left by buyer.
    Past month
    Verified purchase
    Fantastic seller. Books were packaged safely & with love, and as described. Great deal for the money considering the condition they’re in. Shipping was lighting fast. I’d recommend this seller & will be shopping again. The quality & selection of there rare/collectible books is unmatched, and the flexibility on price is the icing on the cake. +1 for great communication.