Menu
Sprawdź status swojego zamówienia
Skontaktuj się z nami
Książka Little Typer Friedman

Little Typer

Autor: Friedman, Daniel P. (Professor, Indiana University), David Thrane Christiansen
Język: Angielski
Oprawa: Miękka
Wydawca: MIT Press Ltd
Dostępność: Dostępna u dostawcy
Wysyłamy za 14-21 dni
230.36 zł
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.

Informacje o książce

Autor
Friedman, Daniel P. (Professor, Indiana University), David Thrane Christiansen
Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2018
strony
424
EAN
9780262536431
ISBN
9780262536431
Enbook ID
19364613
Wydawca
MIT Press Ltd
Waga
666
Wymiary
179 x 227 x 22

Pełny opis

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

Możesz być zainteresowany

Lackadaisy

Tracy Butler
63.76 zł

Seasoned Schemer

Friedman
239.91 zł

Perfect Pocket Puzzles: Sudoku

Gareth Moore
31.78 zł

Black Prism

Brent Weeks
52.74 zł

Daily Painting

Carol Marine
80.88 zł

Little Schemer

Matthias Felleisen
217.08 zł

Playground – A Novel

Richard Powers
57.17 zł

Skin in the Game

NASSIM NICHOL TALEB
40.53 zł

Family of Man

Edward Steichen
111.49 zł

U.S. Army Special Forces Guide to Unconventional Warfare

Department of the Army
44.17 zł

Learning SQL

Alan Beaulieu
205.96 zł

BEASTARS, Vol. 11

Paru Itagaki
44.86 zł

When the Moon Hatched

Sarah A. Parker
41.91 zł

Common Goal

Rachel Reid
41.71 zł

Egon Schiele. The Paintings.

Tobias G. Natter
110.60 zł

Harry Potter and the Philosopher's Stone

Joanne K. Rowling
154.20 zł

Koolhaas. Countryside. A Report

Rem Koolhaas
106.96 zł

IELTS Vocabulary Masterclass 8.5. Master Phrasal Verbs, Essay Vocabulary, Graph Vocabulary & Speaking Vocabulary

Marc Roche
91.51 zł

What My Mother and I Don't Talk About

Michele Filgate
49.29 zł

John Howe's Ultimate Fantasy Art Academy

Terry Gilliam
86.89 zł

Intuitive Eating, 4th Edition

Evelyn Tribole
65.63 zł

Role Model

Rachel Reid
50.18 zł

The Long Game

Rachel Reid
41.71 zł

Short Stories in Norwegian for Beginners

Olly Richards
43.49 zł

Klienci, którzy kupili tę książkę, kupili również

Reasoned Schemer

Friedman
217.08 zł

Differential Equations with Applications and Historical Notes

George F. Simmons
653.42 zł

Invitation to Applied Category Theory

Brendan Fong
269.83 zł

Categories and Sheaves

Masaki Kashiwara
356.03 zł

Proofs from THE BOOK

Aigner
251.82 zł

Cryptography

William J. Buchanan
381.72 zł

Joy of X

Steven Strogatz
49.29 zł

Joy of x

Steven Strogatz
62.48 zł

Infinite Powers: How Calculus Reveals the Secrets of the Universe

Steven H. Strogatz
65.63 zł

How to Solve It

Georg Polya
68.48 zł

How to Prove It

Daniel J. Velleman
191.89 zł