The Little Typer 1r5p2n
1557 Kč 1 613 Kč
Odesíláme do 5 až 7 dní
Sleva až 70% u třetiny knih
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.
Autor: | Friedman, Daniel |
Nakladatel: | MIT Press Ltd |
ISBN: | 9780262536431 |
Rok vydání: | 2018 |
Jazyk : | Angličtina |
Vazba: | Paperback / softback |
Počet stran: | 424 |
Mohlo by se vám také líbit..
-
Friedman, Daniel 1125 Kč 1339Kč Do košíku l5041
-
Friedman, Daniel 1145 Kč 1185Kč Do košíku 8h27
-
Kelleher, John D. 350 Kč 449Kč Do košíku 5fd70
-
Baaz, Maria Eriksson; Stern, Maria 257 Kč 473Kč Do košíku 551711
-
Murphy, Kevin P. 3003 Kč 3114Kč Do košíku 2w73e
-
Miller, Paul B. 1568 Kč 1624Kč Do košíku 5k383m
-
Hwang, Kai (Professor of Electrical Engineering and Computer Science, University of Southern California) 3306 Kč 3428Kč Do košíku y6s6m
-
Eisenstein, Jacob (Assistant Professor, 20 Aloha Street) 2163 Kč 2241Kč Do košíku 314y2h
-
Dalpiaz, Fabiano (Assistant Professor, Utrecht University); Paja, Elda (University of Trento); Giorgini, Paolo (Universi 1564 Kč 1620Kč Do košíku 142142
-
Gerrish, Sean 467 Kč 564Kč Do košíku 1zd8
-
Sejnowski, Terrence J. (Francis Crick Professor, Salk Institute for Biological Studies) 692 Kč 838Kč Do košíku 4v295r
-
Gropp, William 1864 Kč 1931Kč Do košíku 6r4e3
-
Bangert, Simon Herbert 1017 Kč Do košíku 4i55v
-
Wilensky, Uri; Rand, William 2703 Kč 2802Kč Do košíku 661r4s
-
Friedman, Batya (University of Washington); Hendry, David G. (Associate Professor, University of Washington) 1153 Kč 1194Kč Do košíku 1i5011
-
Review, MIT Sloan Management (Paul Michelman) 608 Kč 723Kč Do košíku 1v5n5f