Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 11.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Programming Languages and Systems

Hongseok Yang

Język

Angielski

Książka Miękka

Kod Libristo: 15823658

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, marzec 2017

This book constitutes the proceedings of the 26th European Symposium on Programming, ESOP 2017, whic... Cały opis

Kod Libristo: 15823658

249 b

445.89 zł

Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

AUTOCAD 2014. VERSION COMPLETE ET VERSION LT Couwenbergh Książka

Miękka

188.80 zł

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

Miękka

63.13 zł

George Condo Collectifs

Miękka

83.74 zł

Yu-Gi-Oh ! - Tome 21 Kazuki Takahashi

Książka

45.30 zł

Chat sauvage en chute libre MUDROOROO Książka

Miękka

103.73 zł

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

Miękka

128.84 zł

POWER Will Helmson

Miękka

43.25 zł

Deutsche Jahrbucher fur Politik und Literatur Heinrich Preschers

Miękka

135.30 zł

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

Gra

148.52 zł

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

Miękka

50.63 zł

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

Miękka

63.13 zł

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

Miękka

136.01 zł

Un crucero a Oriente Casanueva González

Miękka

57.09 zł

ALEXANDER Schulatlas. Ausgabe Baden-Württemberg

Twarda

178.25 zł

Reise durch Graz und die Steiermark Martin Siepmann

Twarda

77.79 zł

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.