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 GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 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: 01561842
Price: 21277 HUF
Availability: InStock
Author: Peter Sestoft
ISBN: 9783540330950

15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European

Peter Sestoft

Language

English

Book Paperback

Libristo code: 01561842

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

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

Libristo code: 01561842

145 b

21 277 Ft

Low in stock at our supplier Shipping in 13-18 days

30-day return policy

Customers also purchased

Nikt nie musi wiedzieć. Hubert Meyer. Tom 4 Katarzyna Bonda

Paperback

2 972 Ft

Puzzle 3000 Pietrapertosa Włochy C-300549

binding.

5 823 Ft

Die außerparlamentarische, republikanische Bewegung in Irland 1925-1945 Nicolaus Busch

Paperback

16 580 Ft

Bisexualitat. Begriffsklarung und Theorien zur Entstehung Jenny Moder

Paperback

6 262 Ft

Bleach Data book - Unmasked Tite Kubo

Paperback

4 171 Ft

200% DELF B2 Pinson

Paperback

10 359 Ft

Wilma Wochenwurm erzählt: Die Weihnachtsmann-Maus namens Claus

Paperback

2 589 Ft

Dare to Trust April Dawson

Paperback

4 287 Ft

Mój mały elementarz Kształty Wydawnictwo Skrzat

Paperback

148 Ft

THE ART OF DAVID BENZAL DAVID BENZAL

Paperback

10 918 Ft

Reise in Ungarn im Jahre 1831 Samuel von Ludvigh

Paperback

5 210 Ft

This book constitutes the refereed proceedings of the 15th European Symposium on Programming, ESOP 2006, held in Vienna, Austria in March 2006 as part of ETAPS.§The 21 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 87 submissions. The papers address fundamental issues in the specification, analysis, and implementation of programming languages and systems; they are organized in topical sections on types for implementations, proof and types, verification and reasoning, security and distribution, analysis and verification, and connecting to the world.