Vérifier l’état de la commande

Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement

La Poste Autrichienne 5.49 € Coursier DPD 3.99 € Point DPD 2.99 €

Contact

Comment faire ses achats

Assistance

Mon compte

▸ Vide :-(

Programming Languages and Systems

Hongseok Yang

Langue

Anglais

Livre Livre de poche

Code Libristo: 15823658

Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, mars 2017

This book constitutes the proceedings of the 26th European Symposium on Programming, ESOP 2017, whic... Description détaillée

Code Libristo: 15823658

263 b

107.29 € TVA incluse

Stockage externe Expédition sous 5-8 jours

Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

AUTOCAD 2014. VERSION COMPLETE ET VERSION LT Couwenbergh Livre

Livre de poche

45.09 €

Yu-Gi-Oh ! - Tome 21 Kazuki Takahashi

Livre

10.89 €

Chat sauvage en chute libre MUDROOROO Livre

Livre de poche

24.79 €

George Condo Collectifs

Livre de poche

20.09 €

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

Livre de poche

30.79 €

POWER Will Helmson

Livre de poche

10.99 €

Deutsche Jahrbucher fur Politik und Literatur Heinrich Preschers

Livre de poche

34.90 €

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

Jeu

35.79 €

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

Livre de poche

12.90 €

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

Livre de poche

15.09 €

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

Livre de poche

15.09 €

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

Livre de poche

32.69 €

Un crucero a Oriente Casanueva González

Livre de poche

15.09 €

ALEXANDER Schulatlas. Ausgabe Baden-Württemberg

Livre relié

42.59 €

Reise durch Graz und die Steiermark Martin Siepmann

Livre relié

19.95 €

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.