Kod: 19364613
Little Typer
Autor Friedman, Daniel P. (Professor, Indiana University), David Thrane Christiansen
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.
- Język:
Angielski - Oprawa: Miękka
- Liczba stron: 424
Wydawca: MIT Press Ltd, 2018
- Więcej informacji o książce
191.09 zł
Zwykle: 217.17 zł
Oszczędzasz 26.08 zł
Dostępna u dostawcy
Wysyłamy za 3 - 5 dni
Zobacz książki o podobnej tematyce
-
Avatar: The Last Airbender - Smoke and Shadow Omnibus
105.76 zł -4 % -
A Touch of Ruin
35.15 zł -26 % -
Paddington Little Library
33.64 zł -23 % -
Summer I Turned Pretty
48.95 zł -14 % -
Medical Medium Brain Saver Protocols, Cleanses & Recipe
185.55 zł -5 % -
86 - EIGHTY SIX, Vol. 1 (light novel)
72.42 zł -
Pokemon: Super Extra Deluxe Essential Handbook
65.77 zł -4 % -
How to Tell If Your Cat Is Plotting to Kill You
47.34 zł -23 % -
Thinking In Bets
85.82 zł -4 % -
The House Witch
61.14 zł -23 % -
Open
48.95 zł -14 % -
Eat That Frog!
51.97 zł -23 % -
The Stolen Heir
79.67 zł -23 % -
John Howe's Ultimate Fantasy Art Academy
93.17 zł -23 % -
Glucose Goddess Method: A 4-Week Guide to Cutting Cravings, Getting Your Energy Back, and Feeling Amazing
145.76 zł -5 % -
Angel Answers Oracle Cards
85.62 zł -5 % -
Short Stories in Norwegian for Beginners
51.97 zł -23 % -
The Power of Now
50.46 zł -26 % -
Grand Chessboard
96.30 zł -
100 Deadly Skills: Survival Edition
85.62 zł -5 % -
Intuitive Eating, 4th Edition
70.41 zł -23 %
Bon podarunkowy: Radość gwarantowana
- Podaruj bon o dowolnej wartości, a my się zajmiemy resztą.
- Bon podarunkowy dotyczy całej naszej oferty.
- Możesz wydrukować elektroniczny bon z e-maila a następnie przekazać go obdarowanemu.
- Ważność bonu wynosi 12 miesięcy od daty wystawienia.
Więcej informacji o Little Typer
Za ten zakup dostaniesz 111 punkty
Opis
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.
Szczegóły książki
Kategoria Książki po angielsku Computing & information technology Computer programming / software development Mobile & handheld device programming / Apps programming
191.09 zł
- Pełny tytuł: Little Typer
- Autor: Friedman, Daniel P. (Professor, Indiana University), David Thrane Christiansen
- Język: Angielski
- Oprawa: Miękka
- Liczba stron: 424
- EAN: 9780262536431
- ISBN: 9780262536431
- ID: 19364613
- Wydawca: MIT Press Ltd
- Waga: 666 g
- Wymiary: 227 × 179 × 22 mm
- Data wydania: 18. September 2018
Ulubione w innej kategorii
-
Unity Game Development Cookbook
269.67 zł -5 % -
Android Security Internals
221.61 zł -23 % -
Inside the Android OS
232.09 zł -
Apache Maven Cookbook
263.02 zł -
Android Programming
217.48 zł -5 % -
App Inventor 2, 2e
159.46 zł -5 % -
Building Mobile Applications with Java
104.15 zł -
Learning Android
140.42 zł -5 % -
Beginning Android Programming with Android Studio
165.70 zł -4 % -
Kotlin Programming
217.48 zł -5 % -
Pro Android with Kotlin
245.69 zł -4 % -
Hacking Android
235.21 zł -
Practical Flutter
225.54 zł -5 % -
Hello! App Inventor
223.53 zł -
Programming Flutter
178.20 zł -23 % -
Pro Android C++ with the NDK
260.60 zł -
Android Programming
193.31 zł -
Delphi Cookbook -
263.02 zł -
Xamarin Mobile Application Development
365.67 zł -4 % -
Practical Android
197.94 zł -5 % -
Beginning NFC
152.81 zł -
Advanced Android Application Development
80.38 zł -69 % -
Pro Android 5
285.48 zł -5 % -
Gradle for Android
152.81 zł -
Kotlin for Android App Development
189.18 zł -5 % -
Android Design Patterns and Best Practice
235.21 zł -
Learn Java for Android Development
405.66 zł -4 % -
Learn Android Studio 3 with Kotlin
245.69 zł -4 % -
Sams Teach Yourself Java in 21 Days (Covers Java 11/12)
185.55 zł -5 % -
Apple Pay Essentials
160.47 zł -
Expert Android Programming
235.21 zł -
Building Android Apps with HTML, CSS and JavaScript, 2e
165.50 zł -5 % -
Android Recipes
197.94 zł -5 % -
Developing Android Applications with Adobe AIR
201.57 zł -
Mastering Android NDK
263.02 zł -
Build Location-Based Projects for iOS
138 zł -
jQuery Mobile
140.22 zł -5 % -
Android System Programming
235.21 zł -
Android Development with Kotlin
235.21 zł -
Little Prover
228.36 zł -
Learn Android Studio
260.60 zł -
Definitive Guide to Firebase
325.47 zł -5 % -
Flutter for Beginners
188.27 zł -
Android Cookbook, 2e
347.44 zł -
Professional NFC Application Development for Android
193.31 zł -
Learning Android Google Maps
263.02 zł -
Mobile Test Automation with Appium
211.64 zł -
Beginning Progressive Web App Development
285.48 zł -5 % -
Building Progressive Web Apps
250.12 zł
O nas
Przewodnik
Według języka
250 000
zadowolonych klientów
zadowolonych klientów
Od roku 2008 obsłużyliśmy wielu miłośników książek, ale dla nas każdy był tym wyjątkowym.
Paczkomat 12,99 ZŁ 31975 punktów
Copyright! ©2008-24 libristo.pl Wszelkie prawa zastrzeżonePrywatnieCookies
21 milionów książek
Dostawa 10.99 zł
(32) 444 93 66 (8-15.30h)