Bild 1 von 2
Galerie
Bild 1 von 2
Types & Programming Languages (The ..., Pierce, Benjami
US $49,99
Ca.EUR 42,57
Artikelzustand:
Gut
Buch, das gelesen wurde, sich aber in einem guten Zustand befindet. Der Einband weist nur sehr geringfügige Beschädigungen auf, wie z.B. kleinere Schrammen, er hat aber weder Löcher, noch ist er eingerissen. Bei gebundenen Büchern ist der Schutzumschlag möglicherweise nicht mehr vorhanden. Die Bindung weist geringfügige Gebrauchsspuren auf. Die Mehrzahl der Seiten ist unbeschädigt, das heißt, es gibt kaum Knitter oder Einrisse, es wurden nur in geringem Maße Bleistiftunterstreichungen im Text vorgenommen, es gibt keine Textmarkierungen und die Randbereiche sind nicht beschrieben. Alle Seiten sind vollständig vorhanden. Genauere Einzelheiten sowie eine Beschreibung eventueller Mängel entnehmen Sie bitte dem Angebot des Verkäufers.
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
Versand:
Kostenlos USPS Media MailTM.
Standort: Montgomery Illinois, USA
Lieferung:
Lieferung zwischen Mi, 8. Okt und Sa, 11. Okt nach 94104 bei heutigem Zahlungseingang
Rücknahme:
30 Tage Rückgabe. Kostenloser Rückversand.
Zahlungen:
Sicher einkaufen
- Gratis Rückversand im Inland
- Punkte für jeden Kauf und Verkauf
- Exklusive Plus-Deals
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:356737589825
Artikelmerkmale
- Artikelzustand
- Book Title
- Types & Programming Languages (The MIT Press)
- ISBN
- 0262162091
- EAN
- 9780262162098
- Release Title
- Types & Programming Languages (The MIT Press)
- Artist
- Pierce, Benjamin C
- Brand
- N/A
- Colour
- N/A
Über dieses Produkt
Product Identifiers
Publisher
MIT Press
ISBN-10
0262162091
ISBN-13
9780262162098
eBay Product ID (ePID)
1989432
Product Key Features
Number of Pages
648 Pages
Publication Name
Types and Programming Languages
Language
English
Subject
Programming Languages / General, Software Development & Engineering / Quality Assurance & Testing, Programming / Object Oriented
Publication Year
2002
Type
Textbook
Subject Area
Computers
Format
Hardcover
Dimensions
Item Height
1.4 in
Item Weight
46.3 Oz
Item Length
9 in
Item Width
8.2 in
Additional Product Features
Intended Audience
Trade
LCCN
2001-044428
Dewey Edition
21
Reviews
"Types are the leaven of computer programming; they make it digestible. This excellent book uses types to navigate the rich variety of programming languages, bringing a new kind of unity to their usage, theory, and implementation. Its author writes with the authority of experience in all three of these aspects." -Robin Milner, Computer Laboratory, University of Cambridge
Illustrated
Yes
Dewey Decimal
005
Synopsis
A comprehensive introduction to type systems and programming languages. A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems--and of programming languages from a type-theoretic perspective--has important applications in software engineering, language design, high-performance compilers, and security. This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and operational; each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations. Each chapter is accompanied by numerous exercises and solutions, as well as a running implementation, available via the Web. Dependencies between chapters are explicitly identified, allowing readers to choose a variety of paths through the material. The core topics include the untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, bounded quantification, recursive types, kinds, and type operators. Extended case studies develop a variety of approaches to modeling the features of object-oriented languages.
LC Classification Number
QA76.7.P54 2002
Artikelbeschreibung des Verkäufers
Rechtliche Informationen des Verkäufers
Info zu diesem Verkäufer
worldofbooksinc
98,2% positive Bewertungen•1,2 Mio. Artikel verkauft
Angemeldet als gewerblicher Verkäufer
Verkäuferbewertungen (291.972)
Dieser Artikel (1)
Alle Artikel (291.972)
- Proceso de votación automática de eBay- Bewertung vom Käufer.Letzter MonatEl pedido se ha entregado con puntualidad y sin incidencias
- d***0 (433)- Bewertung vom Käufer.Letzter MonatBestätigter KaufItem bought: Ocean Ramsey Shark book * Item value for the money 5/5 * Condition matching as advertised 5/5 * Quickly dispatched 5/5 * Arrived on time 5/5 * Shipping cost for this type of item 5/5 * Packaging quality for this item 5/5 * Seller recommendation 5/5 * Communication: NA (not needed as it arrived on time) * Comments: Ty for your business!!
- r***1 (177)- Bewertung vom Käufer.Letzter MonatBestätigter KaufThe book was exactly as described and arrived quickly. The only problem is a recurring one with this seller and other similar sellers - the book is poorly packaged in a plastic envelope and gets heavily bumped in shipping. I would like to see the books wrapped before shipment, but I understand this can't be done for cost reason. Luckily it isn't an expensive book, and I will continue to purchase basic books from this seller. A+++++
- p***m (273)- Bewertung vom Käufer.Letzte 6 MonateBestätigter KaufA+ Highest Rating for this transaction. Nova Classic Volume 2 - Marvel / Paperback - condition & quality look really good, ALMOST NEW even better than described. Shipping was Fast (1 week) / packaging was thin mylar mailer, but no visible damage to book. Great price AND free shipping. I buy here often, and this transaction was flawless. 5 STARSNova Classic Volume 2, David A Kraft (Nr. 277215177308)
Noch mehr entdecken:
- The Face Zeitschriften,
- The Culinary Chronicle Kochbücher,
- Frederick-the-Great-Belletristik - Bücher,
- Frederick-the-Great-Sachbuch Bücher,
- The Walking Dead Belletristik-Bücher,
- Erwachsene Masters of the Universe Hörbücher und Hörspiele,
- Masters of the Universe Jugendliche Hörbücher und Hörspiele,
- Robert-Kirkman-The-Walking - Dead-Belletristik-Bücher,
- Masters of the Universe Jugendliche Hörbücher und Hörspiele,
- Erwachsene Masters of the Universe Hörbücher und Hörspiele
worldofbooksinc
98,2% positive Bewertungen•1,2 Mio. Artikel verkauft
Angemeldet als gewerblicher Verkäufer
Verkäuferbewertungen (291.972)
Dieser Artikel (1)
Alle Artikel (291.972)
- Proceso de votación automática de eBay- Bewertung vom Käufer.Letzter MonatEl pedido se ha entregado con puntualidad y sin incidencias
- d***0 (433)- Bewertung vom Käufer.Letzter MonatBestätigter KaufItem bought: Ocean Ramsey Shark book * Item value for the money 5/5 * Condition matching as advertised 5/5 * Quickly dispatched 5/5 * Arrived on time 5/5 * Shipping cost for this type of item 5/5 * Packaging quality for this item 5/5 * Seller recommendation 5/5 * Communication: NA (not needed as it arrived on time) * Comments: Ty for your business!!
- r***1 (177)- Bewertung vom Käufer.Letzter MonatBestätigter KaufThe book was exactly as described and arrived quickly. The only problem is a recurring one with this seller and other similar sellers - the book is poorly packaged in a plastic envelope and gets heavily bumped in shipping. I would like to see the books wrapped before shipment, but I understand this can't be done for cost reason. Luckily it isn't an expensive book, and I will continue to purchase basic books from this seller. A+++++
- p***m (273)- Bewertung vom Käufer.Letzte 6 MonateBestätigter KaufA+ Highest Rating for this transaction. Nova Classic Volume 2 - Marvel / Paperback - condition & quality look really good, ALMOST NEW even better than described. Shipping was Fast (1 week) / packaging was thin mylar mailer, but no visible damage to book. Great price AND free shipping. I buy here often, and this transaction was flawless. 5 STARSNova Classic Volume 2, David A Kraft (Nr. 277215177308)