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 €

Contact

How to shop

Help

My account

▸ Empty :-(

Programming Languages and Systems

Name: Programming Languages and Systems
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01663271
Price: 53.79 EUR
Availability: InStock
Author: Matthias Felleisen
ISBN: 9783642370359

22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings

Matthias Felleisen

Philippa Gardner

Language

English

Book Paperback

Libristo code: 01663271

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, February 2013

This book constitutes the refereed proceedings of the 22nd European Symposium on Programming, ESOP 2... Full description

Libristo code: 01663271

132 b

53.79 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

30-day return policy

Customers also purchased

Wolfgang Stutzel - Moderne Konzepte fur Finanzmarkte, Beschaftigung und Wirtschaftsverfassung Eberhart Ketzel

Hardback

218.99 €

Abundancia y Diversidad de Escarabajos Coprofagos En El Tipnis Veronica Yumi Herrera Yamaguchi

Paperback

45.79 €

LE VADE-MECUM DU FORESTIER <<<<<

Book

7.39 €

Agenda poitou charentes 2003 - les objets du poitou charentes2 Levesque

Paperback

23.09 €

PERDIDA DE FILIPINAS,NARRADA POR UN SOLDADO EXTREMEÑO CAVES PALACIOS

Book

18.89 €

La Respuesta Victor Manuel Penaloza Andaya

Adobe ePub DRM

4.79 €

This book constitutes the refereed proceedings of the 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013.§The 31 papers, presented together with a full-length invited talk, were carefully reviewed and selected from 120 full submissions. The contributions have been organized according to ten topical sections on programming techniques; programming tools; separation logic; gradual typing; shared-memory concurrency and verification; process calculi; taming concurrency; model checking and verification; weak-memory concurrency and verification; and types, inference, and analysis.