The Little Typer 1d233k
1553 Kč 1 609 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 54722i
-
Friedman, Daniel 1145 Kč 1185Kč Do košíku 5m1s59
-
Baaz, Maria Eriksson; Stern, Maria 257 Kč 473Kč Do košíku o3x2z
-
Kelleher, John D. 348 Kč 446Kč Do košíku 304k6b
-
Murphy, Kevin P. 3003 Kč 3114Kč Do košíku 3i5u1z
-
Boden, Margaret A. 1268 Kč 1488Kč Do košíku 3c2d46
-
Page, Rex (Professor (Emeritus), University of Oklahoma); Gamboa, Ruben (University of Wyoming) 1752 Kč Do košíku 5b4y37
-
Louridas, Panos (Athens University of Economics and Business) 1302 Kč 1348Kč Do košíku 1y2k6d
-
Greenblatt, Mark Lee 713 Kč 849Kč Do košíku 45215t
-
Davenport, Thomas H. 545 Kč 650Kč Do košíku 335s2d
-
Sestoft, Peter (IT University of Copenhagen); Hansen, Henrik I. (University of Copenhagen) 1003 Kč 1037Kč Do košíku 40306r
-
Sack, Warren (Chair + Professor, University of California, Santa Cruz) 1144 Kč 1184Kč Do košíku 713267
-
Broussard, Meredith 290 Kč 371Kč Do košíku 1b2p3b
-
Felleisen, Matthias 1715 Kč 1776Kč Do košíku 1gn4w
-
Rival, Xavier (Research Director, INRIA Paris-Rocquencourt); Yi, Kwangkeun (Professor, Seoul National University) 2153 Kč 2232Kč Do košíku 45q1z
-
Richard Sutton 2660 Kč Do košíku 2o3n6m