The Little Typer 1r5p2n
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 l5041
-
Friedman, Daniel 1145 Kč 1185Kč Do košíku 8h27
-
Baaz, Maria Eriksson; Stern, Maria 257 Kč 473Kč Do košíku 551711
-
Kelleher, John D. 348 Kč 446Kč Do košíku 5b1827
-
Murphy, Kevin P. 3003 Kč 3114Kč Do košíku 2w73e
-
Boden, Margaret A. 1268 Kč 1488Kč Do košíku 1o4tg
-
Page, Rex (Professor (Emeritus), University of Oklahoma); Gamboa, Ruben (University of Wyoming) 1752 Kč Do košíku 4r868
-
Louridas, Panos (Athens University of Economics and Business) 1302 Kč 1348Kč Do košíku 585s4q
-
Greenblatt, Mark Lee 713 Kč 849Kč Do košíku 144hs
-
Davenport, Thomas H. 545 Kč 650Kč Do košíku 16c2m
-
Sestoft, Peter (IT University of Copenhagen); Hansen, Henrik I. (University of Copenhagen) 1003 Kč 1037Kč Do košíku 7k2w
-
Sack, Warren (Chair + Professor, University of California, Santa Cruz) 1144 Kč 1184Kč Do košíku 2l1b41
-
Broussard, Meredith 290 Kč 371Kč Do košíku 5j3c4k
-
Felleisen, Matthias 1715 Kč 1776Kč Do košíku 3a1i1l
-
Rival, Xavier (Research Director, INRIA Paris-Rocquencourt); Yi, Kwangkeun (Professor, Seoul National University) 2153 Kč 2232Kč Do košíku 6y4v71
-
Richard Sutton 2660 Kč Do košíku 4x485m