Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 € GLS courier 4.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Programming Languages and Systems

Hongseok Yang

Language

English

Book Paperback

Libristo code: 15823658

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, March 2017

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

Libristo code: 15823658

263 b

107.29 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

AUTOCAD 2014. VERSION COMPLETE ET VERSION LT Couwenbergh Book

Paperback

44.89 €

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

Paperback

15.09 €

George Condo Collectifs

Paperback

19.89 €

Yu-Gi-Oh ! - Tome 21 Kazuki Takahashi

Book

10.79 €

Chat sauvage en chute libre MUDROOROO Book

Paperback

24.69 €

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

Paperback

30.79 €

POWER Will Helmson

Paperback

10.99 €

Deutsche Jahrbucher fur Politik und Literatur Heinrich Preschers

Paperback

34.90 €

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

Game

35.69 €

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

Paperback

12.90 €

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

Paperback

15.09 €

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

Paperback

32.69 €

Un crucero a Oriente Casanueva González

Paperback

12.99 €

ALEXANDER Schulatlas. Ausgabe Baden-Württemberg

Hardback

42.49 €

Reise durch Graz und die Steiermark Martin Siepmann

Hardback

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.