phone 02/210 210 99
LIBRISTO 0
Free delivery for purchases over 59.99 €
Slovak post 4.49 € SPS courier 4.99 € GLS courier 3.99 € GLS point 2.99 € Packeta courier 4.99 € Packeta point 2.99 € SPS Parcel Shop 2.99 €
phone Contact phoneHow to shop

Little Typer

Language EnglishEnglish
Book Paperback
Book Little Typer Friedman
Libristo code: 19364613
Publishers MIT Press Ltd, September 2018
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.
? points 151 b
60.35 €
In stock at our supplier Shipping in 3-5 days

30-day return policy

Customers also purchased

TOP
How to Solve It Georg Polya / Paperback
common.buy 15.26 €
TOP
How to Prove It Daniel J. Velleman / Paperback
common.buy 45.89 €
TOP
Joy of X Steven Strogatz / Paperback
common.buy 12.22 €
Infinite Powers: How Calculus Reveals the Secrets of the Universe Steven H. Strogatz / Paperback
common.buy 14.14 €
Joy of x Steven Strogatz / Paperback
common.buy 14.75 €
Differential Equations with Applications and Historical Notes George F. Simmons / Hardback
common.buy 128.49 €
Proofs from THE BOOK Aigner / Hardback
common.buy 57.72 €
Reasoned Schemer Friedman / Paperback
common.buy 44.27 €

An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.

About the book

Full name Little Typer
Author Friedman, Daniel P. (Professor, Indiana University), David Thrane Christiansen
Language English
Binding Book - Paperback
Date of issue 2018
Number of pages 424
EAN 9780262536431
ISBN 9780262536431
Libristo code 19364613
Publishers MIT Press Ltd
Weight 666
Dimensions 179 x 227 x 22

Categories

Computing & Information Technology > Computer programming / software engineering > Mobile & handheld device programming / Apps programming
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

TOP
86 - EIGHTY SIX, Vol. 1 (light novel) Asato Asato / Paperback
common.buy 14.24 €
TOP
Thinking In Bets Annie Duke / Paperback
common.buy 17.78 €
TOP
Angel Answers Oracle Cards Radleigh Valentine / Cards
common.buy 16.27 €
TOP
Queen of the Moon Oracle Stacey Demarco / Cards
common.buy 18.69 €
TOP
A Touch of Ruin Scarlett St. Clair / Paperback
common.buy 9.39 €
TOP
Avatar: The Last Airbender - Smoke and Shadow Omnibus Gene Luen Yang / Paperback
common.buy 23.14 €
TOP
Work Your Light Oracle Cards Rebecca Campbell / Cards
common.buy 17.78 €
TOP
The House Witch Arin Murphy-Hiscock / Hardback
common.buy 13.03 €
TOP
Pokemon: Super Extra Deluxe Essential Handbook Scholastic / Paperback
common.buy 13.54 €
TOP
John Howe's Ultimate Fantasy Art Academy Terry Gilliam / Paperback
common.buy 24.05 €
TOP
Medical Medium Brain Saver Protocols, Cleanses & Recipe Anthony William / Hardback
common.buy 38.41 €
TOP
Overlord, Vol. 13 Kugane Maruyama / Hardback
common.buy 16.97 €
TOP
BEASTARS, Vol. 11 Paru Itagaki / Paperback
common.buy 11.72 €
TOP
The Deal Elle Kennedy / Paperback
common.buy 14.65 €
TOP
Family of Man Edward Steichen / Paperback
common.buy 25.47 €
TOP
Daily Painting Carol Marine / Paperback
common.buy 20.21 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account