Vítáme Vás, můžete se vytvořit účet. 68633h

Cart 6w3f1

product (empty)

Košík je prázdný

' + (data.cname!='Nezařazeno' && data.cname!='Nezařazené' ? '

'+data.cname+'

' : '') + '

'; }, parse: function(data) { var mytab = new Array(); for (var i = 0; i < data.length; i++) mytab[mytab.length] = { data: data[i], value: data[i].pname }; return mytab; }, extraParams: { ajaxSearch: 1, id_lang: 6 } } ) .result(function(event, data, formatted) { $('#search_query_top').val(data.pname); document.location.href = data.product_link; }) }); // ]]>

Termín obdržení zásilky
Česká pošta	Čtvrtek 12.06
PPL	Čtvrtek 12.06
Osobní odběr	Pátek 13.06
Termíny jsou pouze orientační a mohou se lišit podle zvoleného typu platby. O Průběhu zásilky Vás budeme informovat e-mailem.
Při nákupu většího množství produktů negarantujeme dodání do zobrazeného data

The Little Typer 1r5p2n

1553 Kč 1 609 Kč

Odesíláme do 5 až 7 dní

Sleva až 70% u třetiny knih

Popis knihy

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) 2153 Kč 2241Kč Do košíku 2q495l
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