Imagen 1 de 1
Little Typer, libro de bolsillo de Friedman, Daniel P.; Christiansen, David Thrane; B...-
Estado:
3 disponibles / 1 vendidos
Precio:
USD50,63
Aproximadamente47,37 EUR
- ¡Cómpralo ya!Little Typer, libro de bolsillo de Friedman, Daniel P.; Christiansen, David Thrane; B...
Envío:
Ubicado en: Jessup, Maryland, Estados Unidos
Entrega:
Entrega prevista entre el mar. 25 jun. y el sáb. 29 jun. a 43230
Devoluciones:
14 días para devoluciones. El comprador paga el envío de la devolución. Ver detalles- Más información sobre devoluciones
Pagos:
Compra con confianza
Información del vendedor
- 96,8% de votos positivos
Registrado como vendedor profesional
El vendedor asume toda la responsabilidad de este anuncio.
N.º de artículo de eBay:385291920511
Última actualización el 01 jun 2024 06:46:25 H.EspVer todas las actualizacionesVer todas las actualizaciones
Características del artículo
- Estado
- Book Title
- Little Typer
- ISBN
- 9780262536431
- Subject Area
- Computers
- Publication Name
- Little Typer
- Item Length
- 8.9 in
- Publisher
- MIT Press
- Subject
- Programming / General, Logic Design
- Publication Year
- 2018
- Type
- Textbook
- Format
- Trade Paperback
- Language
- English
- Item Height
- 0.9 in
- Item Width
- 7 in
- Item Weight
- 23.1 Oz
- Number of Pages
- 424 Pages
Acerca de este producto
Product Information
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.
Product Identifiers
Publisher
MIT Press
ISBN-10
0262536439
ISBN-13
9780262536431
eBay Product ID (ePID)
11038291531
Product Key Features
Publication Name
Little Typer
Format
Trade Paperback
Language
English
Subject
Programming / General, Logic Design
Publication Year
2018
Type
Textbook
Subject Area
Computers
Number of Pages
424 Pages
Dimensions
Item Length
8.9 in
Item Height
0.9 in
Item Width
7 in
Item Weight
23.1 Oz
Additional Product Features
LCCN
2018-017792
Intended Audience
Trade
Lc Classification Number
Qa76.63.F75 2018
Illustrated by
Bibby, Duane
Copyright Date
2018
Dewey Decimal
005.101/5113
Dewey Edition
23
Illustrated
Yes
Descripción del artículo del vendedor
Información de vendedor profesional
Expert Trading Limited
John Boyer
9220 Rumsey Rd
Ste 101
21045-1956 Columbia, MD
United States
Certifico que todas mis actividades de venta cumplirán todas las leyes y reglamentos de la UE.
El vendedor asume toda la responsabilidad de este anuncio.
N.º de artículo de eBay:385291920511
Última actualización el 01 jun 2024 06:46:25 H.EspVer todas las actualizacionesVer todas las actualizaciones
Envío y manipulación
Ubicación del artículo:
Jessup, Maryland, Estados Unidos
Realiza envíos a:
Albania, Alemania, América, Anguila, Argentina, Australia, Austria, Bosnia-Herzegovina, Burundi, Bélgica, Cabo Verde, Canadá, Chile, China, Chipre, Colombia, Corea del Sur, Costa Rica, Costa de Marfil, Dinamarca, Egipto, Emiratos Árabes Unidos, Eritrea, Eslovaquia, Eslovenia, España, Estonia, Europa, Filipinas, Finlandia, Gabón, Gambia, Ghana, Granada, Grecia, Guinea, Guinea Ecuatorial, Guinea-Bisáu, Haití, Hong Kong, Hungría, India, Indonesia, Irlanda, Islandia, Islas Caimán, Islas Salomón, Islas Turcas y Caicos, Israel, Italia, Japón, Kiribati, Kuwait, Letonia, Liberia, Lituania, Luxemburgo, Macao, Malasia, Malta, Malí, Mauritania, Montserrat, México, Noruega, Níger, Pakistán, Papúa Nueva Guinea, Paraguay, Países Bajos, Perú, Polonia, Portugal, Qatar, Reino Unido, República Centroafricana, República Checa, República Democrática del Congo, República Dominicana, República de Croacia, República del Congo, Rumanía, Samoa, San Cristóbal y Nieves, San Marino, Santa Lucía, Serbia, Sri Lanka, Sudáfrica, Suecia, Suiza, Surinam, Tailandia, Taiwán, Tanzania, Togo, Tonga, Vaticano, Wallis y Futuna, Yibuti
Excluye:
APO/FPO, Afganistán, Andorra, Angola, Antigua y Barbuda, Arabia Saudí, Argelia, Armenia, Aruba, Azerbaiyán, Bahamas, Bahréin, Bangladés, Barbados, Belice, Benín, Bermudas, Bolivia, Botsuana, Brasil, Brunéi, Bulgaria, Burkina Faso, Bután, Camboya, Camerún, Chad, Ecuador, El Salvador, Etiopía, Federación Rusa, Fiji, Francia, Georgia, Gibraltar, Groenlandia, Guadalupe, Guatemala, Guayana Francesa, Guernsey, Guyana, Honduras, Iraq, Islas Malvinas, Islas Marshall, Jamaica, Jordania, Kazajistán, Kenia, Kirguistán, Laos, Lesoto, Libia, Liechtenstein, Líbano, Macedonia, Madagascar, Malaui, Maldivas, Marruecos, Martinica, Mauricio, Micronesia, Moldavia, Mongolia, Montenegro, Mozambique, Mónaco, Namibia, Nauru, Nepal, Nicaragua, Nigeria, Nueva Caledonia, Omán, Panamá, Polinesia Francesa, Protectorados de EE. UU., Reunión, Ruanda, Samoa Americana, San Pedro y Miquelón, San Vicente y las Granadinas, Senegal, Seychelles, Sierra Leona, Singapur, Suazilandia, Tayikistán, Trinidad y Tobago, Turkmenistán, Turquía, Túnez, Ucrania, Uganda, Uruguay, Uzbekistán, Vanuatu, Venezuela, Vietnam, Yemen, Zambia, Zimbabue
| Envío y manipulación | Cada artículo adicional | A | Servicio | Entrega*Consulta las notas de entrega |
|---|---|---|---|---|
| Envío gratis | Gratis | Estados Unidos | Economy Shipping | Entrega prevista entre el mar. 25 jun. y el sáb. 29 jun. a 43230 |
| Tiempo de manipulación |
|---|
| Normalmente, se enviará en un plazo de 5 días laborables desde que se haga efectivo el pago. |
| Impuestos |
|---|
| El vendedor cobra impuestos de ventas en |
Impuesto de ventas del artículo 385291920511
Impuesto de ventas del artículo 385291920511
El vendedor carga un impuesto de ventas por los artículos enviados a los siguientes estados:
| Estado o provincia | Porcentaje de impuesto de ventas |
|---|
Política de devoluciones
| Cuando recibas el artículo, ponte en contacto con el vendedor en un plazo de | Forma del reembolso | Gastos de envío de la devolución |
|---|---|---|
| 14 días | Reembolso del dinero | El comprador paga el envío de la devolución |
Pulsa aquíaquí para obtener más información sobre devoluciones. En las transacciones que cumplan los requisitos necesarios, estarás cubierto por la Garantía al cliente de eBay si recibiste un artículo que es distinto de la descripción que aparece en el anuncio.
El comprador es responsable de los gastos de envío de la devolución.
| Detalles de la política de devoluciones |
|---|
| Se aceptan devoluciones |
Detalles de pago
Formas de pago
Nota: como resultado de la valoración de riesgo del comprador, es posible que algunas formas de pago no estén disponibles en el proceso de Pago y envío.
Registrado como vendedor profesional
Votos de vendedor (343.964)
5***s (413)- Votos emitidos por el comprador.
Mes pasado
Compra verificada
The seller was great in terms of shipping…however this book is a joke..it’s 56 pages total; tells you nothing except you need a transplant—I’m thinking to myself I paid $15 dollars for this???? I think the seller way overpriced this book
r***a (1224)- Votos emitidos por el comprador.
Mes pasado
Compra verificada
Exactly as described and quick shipping.
i***h (250)- Votos emitidos por el comprador.
Mes pasado
Compra verificada
Item as described , very secure packaging. Great deal on the price. thanks very happy with this purchase.