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 250 Kč 459Kč Do košíku 1m2y39
-
Richard Sutton 2613 Kč Do košíku 36171
-
Bangert, Simon Herbert 1008 Kč Do košíku 3yr1u
-
Kelleher, John D. 338 Kč 434Kč Do košíku 4j42
-
Murphy, Kevin P. 3003 Kč 3114Kč Do košíku 3i5u1z
-
Louridas, Panos (Athens University of Economics and Business) 1302 Kč 1348Kč Do košíku 1y2k6d
-
Friedman, Batya (University of Washington); Hendry, David G. (Associate Professor, University of Washington) 1153 Kč 1194Kč Do košíku 2e1649
-
Greenblatt, Mark Lee 713 Kč 849Kč Do košíku 45215t
-
Davenport, Thomas H. 545 Kč 650Kč Do košíku 335s2d
-
Choucri, Nazli (Massachusetts Institute of Technology); Clark, David D. (Senior Research Scientist, MIT) 1480 Kč Do košíku m6z65
-
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
-
Felleisen, Matthias 1715 Kč 1776Kč Do košíku 1gn4w
-
Mohri, Mehryar (New York University); Rostamizadeh, Afshin (Google, Inc.); Talwalkar, Ameet (University of California, B 2391 Kč 2478Kč Do košíku 2q575e