|Listed in category:
Have one to sell?

Foundations for Programming Languages by Mitchell, John C.

by Mitchell, John C. | HC | Acceptable
US $30.80
ApproximatelyAU $47.46
Condition:
Acceptable
Former library book; Readable copy. Pages may have considerable notes/highlighting. ~ ... Read moreabout condition
Breathe easy. Free delivery and returns.
Postage:
Free Economy Shipping.
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 postcode, destination postcode and time of acceptance and will depend on the postage 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-day returns. 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 07 Jun, 2025 19:35:07 AESTView 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
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 Feedback19.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

Detailed seller ratings

Average for the last 12 months
Accurate description
4.9
Reasonable postage costs
5.0
Postage speed
5.0
Communication
4.9

Seller feedback (5,645,346)

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.