Zdjęcie 1 z 1
The Little Typer by Daniel P. Friedman (English) Paperback Book
Stan:
Dostępne: 3
Cena:
AU $136,27
Około365,90 zł
- Kup terazThe Little Typer by Daniel P. Friedman (English) Paperback Book
Wysyłka:
Bezpłatnie International Standard : tracked-no signature (7 to 15 business days). Zobacz szczegółydla wysyłki
Znajduje się w: Melbourne, Australia
Dostawa:
Szacowana między Pn, 1 lip a Pn, 15 lip do 43230
Zwroty:
Zwrot w ciągu 30 dni. Za wysyłkę zwrotną płaci kupujący. Zobacz szczegóły- aby uzyskać więcej informacji dotyczących zwrotów
Płatności:
Kupuj bez obaw
Informacje o sprzedawcy
Zarejestrowany jako sprzedawca-firma
Sprzedawca ponosi pełną odpowiedzialność za wystawienie tej oferty sprzedaży.
Nr przedmiotu eBay: 134990755132
Ostatnia aktualizacja: 19-06-2024 06:33:39 CEST Wyświetl wszystkie poprawkiWyświetl wszystkie poprawki
Parametry przedmiotu
- Stan
- ISBN-13
- 9780262536431
- Book Title
- The Little Typer
- ISBN
- 9780262536431
- Publication Year
- 2018
- Type
- Textbook
- Format
- Paperback
- Language
- English
- Publication Name
- The Little Typer
- Item Height
- 229mm
- Publisher
- MIT Press Ltd
- Item Width
- 178mm
- Subject
- Computer Science
- Number of Pages
- 424 Pages
O tym produkcie
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 Ltd
ISBN-13
9780262536431
eBay Product ID (ePID)
7046388597
Product Key Features
Publication Name
The Little Typer
Format
Paperback
Language
English
Subject
Computer Science
Publication Year
2018
Type
Textbook
Number of Pages
424 Pages
Dimensions
Item Height
229mm
Item Width
178mm
Additional Product Features
Series Title
The MIT Press
Illustrator
Duane Bibby
Country/Region of Manufacture
United States
Opis przedmiotu podany przez sprzedawcę
Informacje o firmie
The Nile Group Pty Ltd
The Nile
42 Apex Dr
3029 Truganina, VIC
Australia
Numer VAT (NIP):
- AU 82107909133
- GB 293967539
Oświadczam, że wszystkie moje działania związane ze sprzedażą będą zgodne z wszystkimi przepisami i regulacjami UE.
Sprzedawca ponosi pełną odpowiedzialność za wystawienie tej oferty sprzedaży.
Nr przedmiotu eBay: 134990755132
Ostatnia aktualizacja: 19-06-2024 06:33:39 CEST Wyświetl wszystkie poprawkiWyświetl wszystkie poprawki
Wysyłka i obsługa
Lokalizacja przedmiotu:
Melbourne, Australia
Wysyłka do:
Cały świat
Wykluczenia:
Afganistan, Algieria, Angola, Anguilla, Benin, Białoruś, Boliwia, Botswana, Burkina Faso, Burundi, Czad, Demokratyczna Republika Konga, Dominika, Dżibuti, Egipt, Ekwador, Erytrea, Eswatini, Etiopia, Fidżi, Gabon, Gambia, Ghana, Gujana, Gujana Francuska, Gwadelupa, Gwinea, Gwinea Bissau, Gwinea Równikowa, Haiti, Honduras, Irlandia, Jemen, Kamerun, Kenia, Komory, Kongo, Korea Północna, Lesotho, Liberia, Libia, Madagaskar, Majotta, Malawi, Mali, Maroko, Martynika, Mauretania, Mauritius, Mongolia, Mozambik, Mołdawia, Namibia, Niger, Nigeria, Nikaragua, Nowa Kaledonia, Panama, Papua-Nowa Gwinea, Polinezja Francuska, Portoryko, Republika Zielonego Przylądka, Republika Środkowoafrykańska, Reunion, Rosja, Rwanda, Sahara Zachodnia, Samoa Zachodnie, Senegal, Seszele, Sierra Leone, Somalia, Surinam, Svalbard i Jan Mayen, Syria, Tanzania, Togo, Tonga, Trynidad i Tobago, Tunezja, Tuvalu, Uganda, Ukraina, Vanuatu, Wallis i Futuna, Wenezuela, Wielka Brytania, Wybrzeże Kości Słoniowej, Wyspy Dziewicze (USA), Zambia, Zimbabwe, Święta Helena
| Wysyłka i obsługa | Każdy dodatkowy przedmiot | Do | Usługa | Dostawa*Zobacz uwagi o dostawie |
|---|---|---|---|---|
| Bezpłatna wysyłka | Bezpłatnie | Stany Zjednoczone | International Standard : tracked-no signature (7 to 15 business days) | Szacowana między Pn, 1 lip a Pn, 15 lip do 43230 |
| Czas na wysłanie |
|---|
| Zwykle wysyłam przesyłkę w ciągu 10 dni roboczych po otrzymaniu rozliczonej płatności. |
| Podatki |
|---|
| Podczas realizacji transakcji mogą zostać naliczone podatki. Dowiedz się więcejDowiedz się więcej o płaceniu podatku za zakupy na eBay. |
Podatek od sprzedaży dla przedmiotu nr 134990755132
Podatek od sprzedaży dla przedmiotu nr 134990755132
Sprzedawca nalicza podatek od sprzedaży dla przedmiotów wysyłanych do następujących stanów:
| Stan | Stawka podatku od sprzedaży |
|---|
Warunki zwrotów
| Po otrzymaniu przedmiotu skontaktuj się ze sprzedawcą w ciągu | Wysyłka zwrotna |
|---|---|
| 30 dni | Za wysyłkę zwrotną płaci kupujący |
Kupujący jest odpowiedzialny za opłacenie kosztów wysyłki zwrotnej.
| Szczegóły warunków zwrotów |
|---|
| Zwroty są przyjmowane |
Szczegóły dotyczące płatności
Formy płatności
Zarejestrowany jako sprzedawca-firma
Opinie sprzedawców (1 429 910)
t***r (302)- Opinie wystawione przez kupującego.
Ostatni miesiąc
Zakup potwierdzony
Item as described, arrived quickly and well packed. +++++
e***z (305)- Opinie wystawione przez kupującego.
Ostatni miesiąc
Zakup potwierdzony
As ordered. Service was fast. Very good.
a***a (129)- Opinie wystawione przez kupującego.
Ostatni miesiąc
Zakup potwierdzony
Item in great condition