Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Programming Languages and Systems

Hongseok Yang

Език

Английски език

Книга С меки корици

Код Либристо: 15823658

Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, март 2017

This book constitutes the proceedings of the 26th European Symposium on Programming, ESOP 2017, whic... Цялото описание

Код Либристо: 15823658

263 b

108.45 €

212.10 лв

Външен склад Изпращаме след 5-8 дни

30 дни за връщане на стоката

Клиентите са закупили също

AUTOCAD 2014. VERSION COMPLETE ET VERSION LT Couwenbergh Книга

С меки корици

45.57 € 89.12 лв

George Condo Collectifs

С меки корици

20.30 € 39.70 лв

Chat sauvage en chute libre MUDROOROO Книга

С меки корици

25.11 € 49.10 лв

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

С меки корици

29.70 € 58.10 лв

POWER Will Helmson

С меки корици

10.59 € 20.71 лв

Deutsche Jahrbucher fur Politik und Literatur Heinrich Preschers

С меки корици

33.01 € 64.56 лв

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

Игра

36.11 € 70.63 лв

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

С меки корици

12.40 € 24.24 лв

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

С меки корици

14.57 € 28.49 лв

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

С меки корици

14.57 € 28.49 лв

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

С меки корици

33.01 € 64.56 лв

Un crucero a Oriente Casanueva González

С меки корици

15.24 € 29.80 лв

ALEXANDER Schulatlas. Ausgabe Baden-Württemberg

С твърди корици

43.03 € 84.17 лв

Reise durch Graz und die Steiermark Martin Siepmann

С твърди корици

19.01 € 37.18 лв

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.