Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

Besplatna dostava Overseas kurirskom službom iznad 69.99 €

DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Programming Languages and Systems

Hongseok Yang

Jezik

Engleski

Knjiga Meki uvez

Libristo kod: 15823658

Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ožujak 2017

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

Libristo kod: 15823658

249 b

102.67 €

Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

AUTOCAD 2014. VERSION COMPLETE ET VERSION LT Couwenbergh Knjiga

Meki uvez

41.55 €

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

Meki uvez

14.51 €

George Condo Collectifs

Meki uvez

18.45 €

Yu-Gi-Oh ! - Tome 21 Kazuki Takahashi

Knjiga

9.87 €

Chat sauvage en chute libre MUDROOROO Knjiga

Meki uvez

22.79 €

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

Meki uvez

29.64 €

POWER Will Helmson

Meki uvez

9.98 €

Deutsche Jahrbucher fur Politik und Literatur Heinrich Preschers

Meki uvez

31.16 €

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

Igra

32.37 €

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

Meki uvez

11.69 €

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

Meki uvez

14.51 €

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

Meki uvez

31.36 €

Un crucero a Oriente Casanueva González

Meki uvez

13.81 €

ALEXANDER Schulatlas. Ausgabe Baden-Württemberg

Tvrdi uvez

39.13 €

Reise durch Graz und die Steiermark Martin Siepmann

Tvrdi uvez

17.94 €

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.