L'objet est en rupture de stock.

Photo 1 sur 1

Vous en avez un à vendre?

Vendez le vôtre

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

État :

Entièrement neuf

Prix :

57,45 $US

Environ78,86 $C

Suivre cet objet

Expédition :

Sans frais Economy Shipping. En savoir plussur l'expédition

Lieu : Jessup, Maryland, États-Unis

Livraison :

Livraison prévue entre le jeu. 27 juin et le mar. 9 juil. à 43230

Renvois :

Renvoi sous 14jours. L'acheteur paie les frais de port du renvoi. En savoir plus- pour en savoir plus sur les renvois

Paiements :

Magasinez en toute confiance

Garantie de remboursement eBay

Recevez l'objet commandé ou obtenez un remboursement.

En savoir plusGarantie de remboursement eBay - s'ouvre dans une nouvelle fenêtre ou un nouvel onglet

Informations sur le vendeur

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

Inscrit comme vendeur professionnel

Signaler cet objet - 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 : juin 19, 2024 15:44:51 HAEAfficher toutes les modificationsAfficher toutes les modifications

Caractéristiques de l'objet

État: Entièrement neuf: Un livre neuf, non lu, non utilisé et en parfait état, sans aucune page manquante ...

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 du vendeur

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

Numéro de l'objet eBay :385291920511

Dernière mise à jour : juin 19, 2024 15:44:51 HAEAfficher toutes les modificationsAfficher toutes les modifications

Expédition et manutention

Lieu où se trouve l'objet :

Jessup, Maryland, États-Unis

Expédition :

Afrique du Sud, Albanie, Allemagne, Amériques, Anguilla, Argentine, Australie, Autriche, Belgique, Bosnie-Herzégovine, Burundi, Canada, Chili, Chine, Chypre, Colombie, Corée du Sud, Costa Rica, Côte d'Ivoire, Danemark, Djibouti, Espagne, Estonie, Europe, Finlande, Gabon, République du, 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, Libéria, 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 de Croatie, République dominicaine, République du Congo, République démocratique du Congo, République tchèque, Saint-Kitts-et-Nevis, Saint-Marin, Sainte-Lucie, Samoa, Serbie, Slovaque, Slovénie, Sri Lanka, Suisse, Suriname, Suède, Tanzanie, Taïwan, Thaïlande, Togo, Tonga, Wallis-et-Futuna, Égypte, Émirats arabes unis, Érythrée, État de la Cité du Vatican, Îles Caïmans, Îles Salomon, Îles Turks et Caicos, Îles du Cap-Vert

Lieux exclus :

Adresses militaires ou navales, Afghanistan, Algérie, Andorre, Angola, Antigua-et-Barbuda, Arabie saoudite, Arménie, Aruba, Azerbaïdjan, Bahamas, Bahreïn, Bangladesh, Barbade, Bermudes, Bhoutan, Bolivie, Botswana, Brunéi Darussalam, Brésil, Bulgarie, Burkina Faso, Bélize, Bénin, Cambodge, Cameroun, Fidji, France, Gibraltar, Groenland, Guadeloupe, Guatemala, Guernesey, Guyana, Guyane française, Géorgie, Honduras, Irak, Jamaïque, Jordanie, Kazakhstan, Kenya, Kirghizistan, Laos, Lesotho, Liban, Libye, Liechtenstein, Macédoine, Madagascar, Malawi, Maldives, Maroc, Martinique, 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 des États-Unis, 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, Vietnam, Yémen, Zambie, Zimbabwe, Équateur, Éthiopie, Île Maurice, Îles Malouines (îles Falkland), Îles Marshall

Changer de pays :

Code postal :

Expédition et manutention	À	Service	Livraison*Voir les remarques sur la livraison
Expédition sans frais	États-Unis	Economy Shipping	Livraison prévue entre le jeu. 27 juin et le mar. 9 juil. à 43230

*Les dates de livraison approximatives – s'ouvre dans une nouvelle fenêtre ou un nouvel onglet tiennent compte du délai de manutention du vendeur, du code postal de l'expéditeur, du code postal du destinataire et de l'heure de l'acceptation et dépendent du service d'expédition sélectionné et de la réception du paiement. Les délais de livraison peuvent varier, particulièrement lors de périodes achalandées.Remarques - Livraison *Les dates de livraison approximatives tiennent compte du délai de manutention du vendeur, du code postal de l'expéditeur, du code postal du destinataire et de l'heure de l'acceptation et dépendent du service d'expédition sélectionné et de la réception du paiement. Les délais de livraison peuvent varier, particulièrement lors de périodes achalandées.

Délai de manutention

Expédition dans les 5 jours ouvrables après réception du paiement.

Taxes

Le vendeur facture une taxe de vente dans