Photo 1 sur 10
Types et langages de programmation, couverture rigide par Pierce, Benjamin (0262162091)
État :
“Like new”
Prix :
59,99 $US
Environ82,08 $C
- Achat immédiatTypes et langages de programmation, couverture rigide par Pierce, Benjamin (0262162091)
Expédition :
Lieu : Cambridge, Illinois, États-Unis
Livraison :
Livraison prévue entre le sam. 8 juin et le mar. 11 juin à 43230
Renvois :
Renvoi sous 30jours. L'acheteur paie les frais de port du renvoi. En savoir plus- pour en savoir plus sur les renvois
Paiements :
Magasinez en toute confiance
Informations sur le vendeur
Inscrit comme vendeur professionnel
Le vendeur assume l'entière responsabilité de cette annonce.
Numéro de l'objet eBay :395257956425
Caractéristiques de l'objet
- État
- Comme neuf
- Remarques du vendeur
- “Like new”
- Book Title
- Types and Programming Languages
- ISBN
- 9780262162098
- Subject Area
- Computers
- Publication Name
- Types and Programming Languages
- Item Length
- 9.3 in
- Publisher
- MIT Press
- Subject
- Programming Languages / General
- Publication Year
- 2002
- Type
- Textbook
- Format
- Hardcover
- Language
- English
- Item Height
- 1.5 in
- Item Width
- 8.3 in
- Item Weight
- 47 Oz
- Number of Pages
- 648 Pages
À propos de ce produit
Product Information
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.
Product Identifiers
Publisher
MIT Press
ISBN-10
0262162091
ISBN-13
9780262162098
eBay Product ID (ePID)
1989432
Product Key Features
Publication Name
Types and Programming Languages
Format
Hardcover
Language
English
Subject
Programming Languages / General
Publication Year
2002
Type
Textbook
Subject Area
Computers
Number of Pages
648 Pages
Dimensions
Item Length
9.3 in
Item Height
1.5 in
Item Width
8.3 in
Item Weight
47 Oz
Additional Product Features
LCCN
2001-044428
Intended Audience
Trade
Lc Classification Number
Qa76.7.P54 2002
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
Copyright Date
2002
Dewey Decimal
005
Dewey Edition
21
Illustrated
Yes
Description de l'objet du vendeur
Le vendeur assume l'entière responsabilité de cette annonce.
Numéro de l'objet eBay :395257956425
Expédition et manutention
Lieu où se trouve l'objet :
Cambridge, Illinois, États-Unis
Expédition :
Afghanistan, Albanie, Allemagne, Andorre, Anguilla, Antigua-et-Barbuda, Arabie saoudite, Argentine, Arménie, Aruba, Australie, Autriche, Azerbaïdjan, Bahamas, Bahreïn, Bangladesh, Belgique, Bermudes, Bhoutan, Bolivie, Bosnie-Herzégovine, Brunéi Darussalam, Brésil, Bulgarie, Bélize, Cambodge, Canada, Chili, Chine, Chypre, Colombie, Corée du Sud, Costa Rica, Danemark, Espagne, Estonie, Fidji, Finlande, France, Gibraltar, Grenade, Groenland, Grèce, Guatemala, Guyana, Géorgie, Haïti, Honduras, Hong Kong, Hongrie, Inde, Indonésie, Irlande, Islande, Israël, Italie, Jamaïque, Japon, Jordanie, Kazakhstan, Kirghizistan, Kiribati, Koweït, Laos, Lettonie, Liban, Liechtenstein, Lituanie, Luxembourg, Macao, Macédoine, Malaisie, Maldives, Malte, Mexique, Moldavie, Monaco, Monde entier, Mongolie, Montserrat, Monténégro, Nauru, Nicaragua, Norvège, Nouvelle-Zélande, Népal, Oman, Ouzbékistan, Pakistan, Panama, Papouasie-Nouvelle-Guinée, Paraguay, Pays-Bas, Philippines, Pologne, Portugal, Pérou, Qatar, Roumanie, Royaume-Uni, République de Croatie, République dominicaine, République tchèque, Saint-Kitts-et-Nevis, Saint-Marin, Saint-Vincent-et-les Grenadines, Sainte-Lucie, Salvador, Samoa, Serbie, Singapour, Slovaque, Slovénie, Sri Lanka, Suisse, Suriname, Suède, Tadjikistan, Taïwan, Thaïlande, Tonga, Trinité-et-Tobago, Turkménistan, Turquie, Uruguay, Vanuatu, Vietnam, Wallis-et-Futuna, Yémen, Émirats arabes unis, Équateur, État de la Cité du Vatican, Îles Caïmans, Îles Salomon, Îles Turks et Caicos
Lieux exclus :
Afrique, Afrique du Sud, Algérie, Angola, Barbade, Botswana, Burkina Faso, Burundi, Bénin, Cameroun, Comores, Côte d'Ivoire, Djibouti, Gabon, République du, Gambie, Ghana, Guadeloupe, Guinée, Guinée équatoriale, Guinée-Bissau, Guyane française, Kenya, Lesotho, Libye, Libéria, Madagascar, Malawi, Mali, Maroc, Martinique, Mauritanie, Mayotte, Mozambique, Namibie, Niger, Nigeria, Nouvelle-Calédonie, Ouganda, Polynésie française, Russie, Rwanda, République centrafricaine, République du Congo, République démocratique du Congo, Réunion, Sahara occidental, Sainte-Hélène, Seychelles, Sierra Leone, Somalie, Swaziland, Sénégal, Tanzanie, Tchad, Togo, Tunisie, Ukraine, Venezuela, Zambie, Zimbabwe, Égypte, Érythrée, Éthiopie, Île Maurice, Îles du Cap-Vert
| Expédition et manutention | À | Service | Livraison*Voir les remarques sur la livraison |
|---|---|---|---|
| 5,86 $US (environ 8,02 $C) | États-Unis | Expédition au tarif économique (USPS Media MailTM) | Livraison prévue entre le sam. 8 juin et le mar. 11 juin à 43230 |
| 11,65 $US (environ 15,94 $C) | États-Unis | Expédition standard (USPS Ground Advantage®) | Livraison prévue entre le sam. 8 juin et le mar. 11 juin à 43230 |
| 13,45 $US (environ 18,40 $C) | États-Unis | Expédition accélérée (USPS Priority Mail®) | Livraison prévue entre le sam. 8 juin et le mar. 11 juin à 43230 |
| Délai de manutention |
|---|
| Expédition dans les 1 jours ouvrables après réception du paiement. |
| Taxes |
|---|
| Des taxes peuvent s'appliquer à la conclusion de la transaction. En savoir plusEn savoir plus au sujet du paiement de taxes sur les achats eBay. |
Taxe de vente pour cet objet (395257956425)
Taxe de vente pour cet objet (395257956425)
Le vendeur facture une taxe de vente pour les États suivants :
| État | Taux de la taxe de vente |
|---|
Modalités de renvoi
| Après réception de l'objet, contactez le vendeur dans un délai de | Mode de remboursement |
|---|---|
| 30 jours | Remboursement |
Les frais d'expédition du renvoi sont à la charge de l'acheteur.
Détails du paiement
Modes de paiement
Catégories populaires de cette Boutique
Évaluations comme vendeur (1 922)
i***c (253)- Évaluation laissée par l'acheteur.
Dernier mois
Achat vérifié
Awesome seller, fast delivery, item as described, thank you!
s***k- Évaluation laissée par l'acheteur.
Dernier mois
Achat vérifié
Superb seller, exceptional item, careful packaging, safe and timely delivery. A+
s***k- Évaluation laissée par l'acheteur.
Dernier mois
Achat vérifié
Superb seller, exceptional item, careful packaging, safe and timely delivery. A+