Dieser Artikel ist nicht mehr vorrätig.

Types & Programming Languages (The ..., Pierce, Benjami

worldofbooksinc
(253624)
Angemeldet als gewerblicher Verkäufer
Mehr Artikel des Verkäufers
Verkäufer kontaktieren
US $49,99
Ca.CHF 39,78
Artikelzustand:
Gut
Versand:
Kostenlos USPS Media MailTM.
Standort: Montgomery Illinois, USA
Lieferung:
Lieferung zwischen Mi, 8. Okt und Sa, 11. Okt nach 94104 bei heutigem Zahlungseingang
Liefertermine - wird in neuem Fenster oder Tab geöffnet berücksichtigen die Bearbeitungszeit des Verkäufers, die PLZ des Artikelstandorts und des Zielorts sowie den Annahmezeitpunkt und sind abhängig vom gewählten Versandservice und dem ZahlungseingangZahlungseingang - wird ein neuem Fenster oder Tab geöffnet. Insbesondere während saisonaler Spitzenzeiten können die Lieferzeiten abweichen.
Rücknahme:
30 Tage Rückgabe. Verkäufer zahlt Rückversand.
Zahlungen:
     Diners Club

Sicher einkaufen

eBay-Käuferschutz
Geld zurück, wenn etwas mit diesem Artikel nicht stimmt. Mehr erfahreneBay-Käuferschutz - wird in neuem Fenster oder Tab geöffnet
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:356737589825
Zuletzt aktualisiert am 19. Sep. 2025 11:06:00 MESZAlle Änderungen ansehenAlle Änderungen ansehen

Artikelmerkmale

Artikelzustand
Gut: Buch, das gelesen wurde, sich aber in einem guten Zustand befindet. Der Einband weist nur sehr ...
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
Kategorie

Ü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
Author
Benjamin C. Pierce
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

Info zu diesem Verkäufer

worldofbooksinc

98,2% positive Bewertungen•1.2 Mio. Artikel verkauft

Mitglied seit Feb 2020
Antwortet meist innerhalb 24 Stunden
Angemeldet als gewerblicher Verkäufer
In 2002, World of Books Group was founded on an ethos to do good, protect the planet and support charities by enabling more goods to be reused. Since then, we've grown into to a global company ...
Mehr anzeigen
Shop besuchenKontakt

Detaillierte Verkäuferbewertungen

Durchschnitt in den letzten 12 Monaten
Genaue Beschreibung
4.8
Angemessene Versandkosten
5.0
Lieferzeit
5.0
Kommunikation
5.0

Verkäuferbewertungen (291'683)

Alle Bewertungen
Positiv
Neutral
Negativ
Alle Bewertungen ansehen

Noch mehr entdecken: