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

DPD courier 4.99 € GLS courier 11.49 €

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: 01649427
Price: 51.75 EUR
Availability: InStock
Author: Giuseppe Castagna
ISBN: 9783642005893

18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings

Giuseppe Castagna

Language

English

Book Paperback

Libristo code: 01649427

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

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

Libristo code: 01649427

125 b

51.75 €

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Erwin Piscators ,Die Räuber' Nina Birkner

Hardback

41.72 €

Traumrasse: Siberian Husky Markus Karlsson

Paperback

21.97 €

Domina. Staffel.1, 3 DVD David Evans

DVD

32.81 €

Sun City 1984 Queen Audio

Audio vinyl

24.50 €

Lectures cycliques - le réseau inter-romanesque dans les cycles du Graal du XIIIe siècle Moran

Paperback

140.98 €

Ford Fiesta - essence, depuis 05-2002 ETAI Book

binding.

50.94 €

55 Methoden Mathematik Elke Königsdorfer

Sheet

22.88 €

Beitrag Zum Problem Der Erfassung, Verrechnung Und Auswertung Industrieller Vertriebskosten Paul Müller-Giebeler

Paperback

53.16 €

Mitteilungen des Vereins für Erdkunde zu Leipzig für das Jahr 1910. Duncker &. Humblot

Paperback

74.64 €

This book constitutes the refereed proceedings of the 18th European Symposium on Programming, ESOP 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. §The 26 revised full papers presented together with two abstracts of invited talks were carefully reviewed and selected from 98 full paper submissions. The topics addressed are typed functional programming, computational effects, types for object-oriented languages, verification, security, concurrency, service-oriented computing, parallel and concurrent programming.