Cet objet est en rupture de stock.

Photo 1/1

Vous en avez un à vendre ?

Vendez le vôtre

Little Typer, livre de poche par Friedman, Daniel P. ; Christiansen, David Thrane ; B...

État :

Neuf

Prix :

57,45 USD

Environ53,50 EUR

Suivre cet objet

Livraison :

Gratuit Economy Shipping. Afficher les détailspour la livraison

Lieu où se trouve l'objet : Jessup, Maryland, États-Unis

Délai de livraison :

Estimé entre le jeu. 27 juin et le mar. 9 juil. à 43230

Retours :

Retour sous 14 jours. L'acheteur paie les frais de retour. Afficher les détails- pour en savoir plus sur les retours

Paiements :

Achetez en toute confiance

Garantie client eBay

Obtenez un remboursement si vous ne recevez pas l'objet que vous avez commandé.

En savoir plusGarantie client eBay - la page s'ouvre dans une nouvelle fenêtre ou un nouvel onglet

Détails sur le vendeur

greatbookprices1 (305148)
96,8% d'évaluations positives

Inscrit comme vendeur professionnel

Signaler cet objet - La page s'ouvre dans une nouvelle fenêtre ou un nouvel onglet

Le vendeur assume l'entière responsabilité de cette annonce.

Numéro de l'objet eBay :385291920511

Dernière mise à jour le 19 juin 2024 21:44:51 CEST. Afficher toutes les modificationsAfficher toutes les modifications

Caractéristiques de l'objet

État: Neuf: Livre neuf, n'ayant jamais été lu ni utilisé, en parfait état, sans pages manquantes ni ...

Book Title: Little Typer

ISBN: 9780262536431

Subject Area: Computers

Publication Name: Little Typer

Publisher: MIT Press

Item Length: 8.9 in

Subject: Programming / General, Computer Science, Logic Design

Publication Year: 2018

Type: Textbook

Format: Trade Paperback

Language: English

Item Height: 0.9 in

Author: David Thrane Christiansen, Daniel P. Friedman

Item Weight: 23.1 Oz

Item Width: 7 in

Number of Pages: 424 Pages

À propos de ce produit

Product Identifiers

Publisher

MIT Press

ISBN-10

0262536439

ISBN-13

9780262536431

eBay Product ID (ePID)

11038291531

Product Key Features

Number of Pages

424 Pages

Language

English

Publication Name

Little Typer

Subject

Programming / General, Computer Science, Logic Design

Publication Year

2018

Type

Textbook

Author

David Thrane Christiansen, Daniel P. Friedman

Subject Area

Computers

Format

Trade Paperback

Dimensions

Item Height

0.9 in

Item Weight

23.1 Oz

Item Length

8.9 in

Item Width

7 in

Additional Product Features

Intended Audience

Trade

LCCN

2018-017792

Dewey Edition

CLASSIFICATION_METADATA

{"IsNonfiction":["No"],"IsOther":["Yes"],"IsAdult":["No"],"MuzeFormatDesc":["Trade Paperback"],"IsChildren":["No"],"Genre":["COMPUTERS"],"Topic":["Programming / General","Logic Design","Computer Science"],"IsTextBook":["No"],"IsFiction":["No"]}

Illustrated

Yes

Dewey Decimal

005.101/5113

Synopsis

An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time. A program's type describes its behavior. Dependent types are a first-class part of a language, and are much more powerful than other kinds of types; using just one language for types and programs allows program descriptions to be as powerful as the programs they describe. The Little Typer explains dependent types, beginning with a very small language that looks very much like Scheme and extending it to cover both programming with dependent types and using dependent types for mathematical reasoning. Readers should be familiar with the basics of a Lisp-like programming language, as presented in the first four chapters of The Little Schemer . The first five chapters of The Little Typer provide the needed tools to understand dependent types; the remaining chapters use these tools to build a bridge between mathematics and programming. Readers will learn that tools they know from programming-pairs, lists, functions, and recursion-can also capture patterns of reasoning. The Little Typer does not attempt to teach either practical programming skills or a fully rigorous approach to types. Instead, it demonstrates the most beautiful aspects as simply as possible, one step at a time., An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time. A program's type describes its behavior. Dependent types are a first-class part of a language, and are much more powerful than other kinds of types; using just one language for types and programs allows program descriptions to be as powerful as the programs they describe. The Little Typer explains dependent types, beginning with a very small language that looks very much like Scheme and extending it to cover both programming with dependent types and using dependent types for mathematical reasoning. Readers should be familiar with the basics of a Lisp-like programming language, as presented in the first four chapters of The Little Schemer . The first five chapters of The Little Typer provide the needed tools to understand dependent types; the remaining chapters use these tools to build a bridge between mathematics and programming. Readers will learn that tools they know from programming--pairs, lists, functions, and recursion--can also capture patterns of reasoning. The Little Typer does not attempt to teach either practical programming skills or a fully rigorous approach to types. Instead, it demonstrates the most beautiful aspects as simply as possible, one step at a time.

LC Classification Number

QA76.63.F75 2018

Illustrated by

Bibby, Duane

ebay_catalog_id

2018

Description de l'objet fournie par le vendeur

Informations sur le vendeur professionnel

Expert Trading Limited

John Boyer

9220 Rumsey Rd

Ste 101

21045-1956 Columbia, MD

United States

Afficher les coordonnées

: liam-e esserdAmoc.secirpkoobtaerg@sredroyabe

Je certifie que toutes mes activités de vente seront conformes à toutes les lois et réglementations de l'UE.

Le vendeur assume l'entière responsabilité de cette annonce.

Numéro de l'objet eBay :385291920511

Dernière mise à jour le 19 juin 2024 21:44:51 CEST. Afficher toutes les modificationsAfficher toutes les modifications

Livraison et expédition

Lieu où se trouve l'objet :

Jessup, Maryland, États-Unis

Destination :

Afrique du Sud, Albanie, Allemagne, Amérique, Anguilla, Argentine, Australie, Autriche, Belgique, Bosnie-Herzégovine, Burundi, Canada, Cap-Vert, Chili, Chine, Chypre, Colombie, Corée du Sud, Costa Rica, Croatie, Côte d'Ivoire, Danemark, Djibouti, Espagne, Estonie, Europe, Finlande, Gabon, Gambie, Ghana, Grenade, Grèce, Guinée, Guinée équatoriale, Guinée-Bissau, Haïti, Hong Kong, Hongrie, Inde, Indonésie, Irlande, Islande, Israël, Italie, Japon, Kiribati, Koweït, Lettonie, Liberia, Lituanie, Luxembourg, Macao, Malaisie, Mali, Malte, Mauritanie, Mexique, Montserrat, Niger, Norvège, Pakistan, Papouasie-Nouvelle-Guinée, Paraguay, Pays-Bas, Philippines, Pologne, Portugal, Pérou, Qatar, Roumanie, Royaume-Uni, République centrafricaine, République dominicaine, République du Congo, République démocratique du Congo, République tchèque, Saint-Christophe-et-Niévès, Saint-Marin, Sainte-Lucie, Samoa occidentales, Serbie, Slovaque, Slovénie, Sri Lanka, Suisse, Suriname, Suède, Tanzanie, Taïwan, Thaïlande, Togo, Tonga, Vatican, Wallis-et-Futuna, Égypte, Émirats arabes unis, Érythrée, Îles Caïmans, Îles Salomon, Îles Turques-et-Caïques

Exclus :

APO/FPO, Afghanistan, Algérie, Andorre, Angola, Antigua-et-Barbuda, Arabie saoudite, Arménie, Aruba, Azerbaïdjan, Bahamas, Bahreïn, Bangladesh, Barbade, Belize, Bermudes, Bhoutan, Bolivie, Botswana, Brunei Darussalam, Brésil, Bulgarie, Burkina Faso, Bénin, Cambodge, Cameroun, Fidji, France, Gibraltar, Groenland, Guadeloupe, Guatemala, Guernesey, Guyana, Guyane, Géorgie, Honduras, Irak, Jamaïque, Jordanie, Kazakhstan, Kenya, Kirghizistan, Laos, Lesotho, Liban, Libye, Liechtenstein, Macédoine, Madagascar, Malawi, Maldives, Maroc, Martinique, Maurice, Micronésie, Moldavie, Monaco, Mongolie, Monténégro, Mozambique, Namibie, Nauru, Nicaragua, Nigeria, Nouvelle-Calédonie, Népal, Oman, Ouganda, Ouzbékistan, Panama, Polynésie française, Protectorats américains, Russie, Rwanda, Réunion, Saint-Pierre-et-Miquelon, Saint-Vincent-et-les-Grenadines, Salvador, Samoa américaines, Seychelles, Sierra Leone, Singapour, Swaziland, Sénégal, Tadjikistan, Tchad, Trinité-et-Tobago, Tunisie, Turkménistan, Turquie, Ukraine, Uruguay, Vanuatu, Venezuela, Viêt Nam, Yémen, Zambie, Zimbabwe, Équateur, Éthiopie, Îles Malouines, Îles Marshall

Changer de pays :

Code postal :

Livraison et expédition	à	Service	Livraison*Afficher les instructions de livraison
Livraison gratuite	États-Unis	Economy Shipping	Estimé entre le jeu. 27 juin et le mar. 9 juil. à 43230

*Les dates de livraison estimées - la page s'ouvre dans une nouvelle fenêtre ou un nouvel onglet prennent en compte le délai d'expédition indiqué par le vendeur, le code postal de l'expéditeur, le code postal du destinataire et la date d'acceptation de l'offre. Elles dépendent du service de livraison sélectionné et de la date de réception du paiement. Les délais de livraison peuvent varier, notamment pendant les périodes de pointe.Instructions de livraison *Les dates de livraison estimées prennent en compte le délai d'expédition indiqué par le vendeur, le code postal de l'expéditeur, le code postal du destinataire et la date d'acceptation de l'offre. Elles dépendent du service de livraison sélectionné et de la date de réception du paiement. Les délais de livraison peuvent varier, notamment pendant les périodes de pointe.

Délai d'expédition

Envoi sous 5 jours ouvrés après réception du paiement.

Taxes

Le vendeur facture une taxe de vente dans

Taxe de vente pour l'objet n°385291920511

Le vendeur facture une taxe de vente pour les États suivants :

État	Taux de la taxe de vente

* La taxe s'applique au sous-total + frais de livraison et d'expédition pour ces États uniquement

Conditions de retour

Une fois l'objet reçu, contactez le vendeur dans un délai de	Mode de remboursement	Frais de retour
14 jours	Remboursement	L'acheteur paie les frais de retour

L'acheteur doit payer les frais de retour.

Détails des conditions de retour
Retours acceptés

Détails du paiement

Modes de paiement

Great Book Prices Store

96,8% d'évaluations positives

1,2 millions objets vendus

Visiter la Boutique Contacter

Répond en général sous 24 heures

Évaluations détaillées du vendeur

Moyenne pour les 12 derniers mois

Description exacte

4.9

Frais de livraison raisonnables

5.0

Livraison rapide

4.9

Communication

4.8

Inscrit comme vendeur professionnel

Évaluations en tant que vendeur (344.267)

b***_ (140)- Évaluations laissées par l'acheteur.

Dernier mois

Achat vérifié

Item as described. Shipping as described. Easy transaction!! Thank you!!

Parisian Chic Encore! : A Style Guide, Paperback by Fressange, Ines De La; Ga... (n°363500396000)

m***s (77)- Évaluations laissées par l'acheteur.

Dernier mois

Achat vérifié

As advertised

Mind Your Manners : A Game of Etiquette Trivia, Game by Post, Lizzie; Senning... (n°355561183441)

r***r (1872)- Évaluations laissées par l'acheteur.

Dernier mois

Achat vérifié

Took a long time to get here!

What Child Is This? : A Sherlock Holmes Christmas Adventure, Hardcover by Mac... (n°364009483317)

Afficher toutes les évaluations