Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Programming Languages and Systems

Hongseok Yang

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 15823658

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, březen 2017

This book constitutes the proceedings of the 26th European Symposium on Programming, ESOP 2017, whic... Celý popis

Libristo kód: 15823658

236 b

2 357 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

AUTOCAD 2014. VERSION COMPLETE ET VERSION LT Couwenbergh Kniha

Brožovaná

1 058 Kč

George Condo Collectifs

Brožovaná

472 Kč

Chat sauvage en chute libre MUDROOROO Kniha

Brožovaná

583 Kč

Sancti Aurelii Augustini Episcopi De Civitate Dei: Libri Xxii, Volume 1... Saint Augustine (Bishop of Hippo

Brožovaná

685 Kč

POWER Will Helmson

Brožovaná

228 Kč

Deutsche Jahrbucher fur Politik und Literatur Heinrich Preschers

Brožovaná

711 Kč

Cape Byron Light (1901), Byron Bay, New South Wales (Puzzle) Rainer Grosskopf

Hra

831 Kč

UEber die Teile, in welche die Lothringer Geste sich zerlegen lasst Emil W Heuser

Brožovaná

267 Kč

Tarif Pour La Quadrature Du Sciage Des Bois, Calcule Jusqu'a Une Longueur de Madrier de GUIBERT-P-B

Brožovaná

336 Kč

Le Livre de la Mutualite, Epargne-Prevoyance, A l'Usage Des Ecoles, Cours d'Adultes Et Des Familles GARCIN-E

Brožovaná

336 Kč

Jean Herbette (1878-1960) Yves Denéch?re

Brožovaná

721 Kč

Un crucero a Oriente Casanueva González

Brožovaná

353 Kč

ALEXANDER Schulatlas. Ausgabe Baden-Württemberg

Pevná

997 Kč

Reise durch Graz und die Steiermark Martin Siepmann

Pevná

410 Kč

This book constitutes the proceedings of the 26th European Symposium on Programming, ESOP 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017. The 36 papers presented in this volume were carefully reviewed and selected from 112 submissions. They cover traditional as well as emerging topics in programming languages. In detail they deal with semantic foundation and type system for probabilistic programming; techniqu3es for verifying concurrent or higher-order programs; programming languages for arrays or web data; program analysis and verification of non-standard program properties; foundation and application of interactive theorem proving; graph rewriting; separation logic; session type; type theory; and implicit computational complexity.