Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Programming Languages and Systems

Name: Programming Languages and Systems
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01663271
Price: 19902 HUF
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

136 b

19 902 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

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

Hardback

80 407 Ft

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

Paperback

16 972 Ft

LE VADE-MECUM DU FORESTIER <<<<<

Book

2 565 Ft

Agenda poitou charentes 2003 - les objets du poitou charentes2 Levesque

Paperback

7 987 Ft

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

Book

6 521 Ft

La Respuesta Victor Manuel Penaloza Andaya

Adobe ePub DRM

1 627 Ft

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.