Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
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
0
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

Programming Languages and Systems

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

Language EnglishEnglish
Book Paperback
Book Programming Languages and Systems Peter Sestoft
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
? points 141 b
58.44 €
Low in stock at our supplier Shipping in 13-18 days

Up to 30 days for returns

Customers also purchased

Biologie moléculaire MOUSSARD / Book Paperback
common.buy 50.03 €
L'art et le comedien Constant Coquelin / Book Hardback
common.buy 31.29 €
RÉGULATION, AUTORÉGULATION, DYSRÉGULATION NADER / Book Paperback
common.buy 48.11 €
Top
Bleach Data book - Unmasked Tite Kubo / Book Paperback
common.buy 11.64 €
Nikt nie musi wiedzieć. Hubert Meyer. Tom 4 Katarzyna Bonda / Book Paperback
common.buy 7.38 €
Puzzle 3000 Pietrapertosa Włochy C-300549 / Book binding.
common.buy 16.10 €
Comercio justo / Book Paperback
common.buy 35.75 €
Rencontres de l'équitation de tradition française / Book Book
common.buy 33.52 €
200% DELF B2 Pinson / Book Paperback
common.buy 29.17 €
Wilma Wochenwurm erzählt: Die Weihnachtsmann-Maus namens Claus / Book Paperback
common.buy 6.78 €
Dare to Trust April Dawson / Book Paperback
common.buy 11.03 €
Top
Mój mały elementarz Kształty Wydawnictwo Skrzat / Book Paperback
common.buy 1.31 €
A radiodifus?o pública resiste Octavio Penna Pieranti / Book Paperback
common.buy 11.84 €
THE ART OF DAVID BENZAL DAVID BENZAL / Book Paperback
common.buy 27.85 €
Batiya Karsi Islam William L. Cleveland / Book Paperback
common.buy 14.17 €
Reise in Ungarn im Jahre 1831 Samuel von Ludvigh / Book Paperback
common.buy 14.68 €
Volya kak predmet nauchnogo poznaniya v Rossii. Problemy teorii i istorii. Ekaterina Stepanova / Book Paperback
common.buy 46.79 €
einsames Urteil - Semitismus und Antisemitismus Henri Strauss / Book Paperback
common.buy 11.74 €
Die außerparlamentarische, republikanische Bewegung in Irland 1925-1945 Nicolaus Busch / Book Paperback
common.buy 42.84 €
Bisexualitat. Begriffsklarung und Theorien zur Entstehung Jenny Moder / Book Paperback
common.buy 16.20 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Programming Languages and Systems
Author Peter Sestoft
Language English
Binding Book - Paperback
Date of issue 2006
Number of pages 342
EAN 9783540330950
ISBN 354033095X
Libristo code 01561842
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 1120
Dimensions 155 x 235 x 24

Categories

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Partial Order in Environmental Sciences and Chemistry Rainer Brüggemann / Book Hardback
common.buy 154.58 €
When Pleasing You Is Killing Me Les Carter Phd / Book Paperback
common.buy 16.30 €
Walls of Prophecy and Protest Jeff W. Huebner / Book Paperback
common.buy 29.17 €
Oxford IB Diploma Programme: IB Prepared: Biology (Online) Debora Primrose / Digital Digital online
common.buy 44.66 €
Radical Matter Kate Franklin / Book Paperback
common.buy 32.00 €
Infectious Diseases: A Clinical Short Course Frederick S. Southwick / Book Paperback
common.buy 120.95 €
Keep It Simple 1.d4 Christof Sielecki / Book Paperback
common.buy 23.09 €
How To Save A Life A. S. Liberalino / Book Paperback
common.buy 6.17 €
Complete Works of Abraham Lincoln John Hay / Book Hardback
common.buy 38.28 €
Common Core Ela Tips & Tools Grade 5 Teacher Resource Learning Newmark / Book Paperback
common.buy 8.90 €
Acoustical Imaging Michael P. André / Book Hardback
common.buy 226.91 €
Suck Wives Heidi Deepkiss / Book Paperback
common.buy 6.78 €
Cravings: All Together Adeena Sussman / Book Hardback
common.buy 23.49 €
Quiet Is a Superpower Jennifer Kahnweiler / Book Paperback
common.buy 15.39 €
My Daddy is a Hero Lena Derhally / Book Paperback
common.buy 19.44 €
The Kaliningrad Region Wojciech T. Modzelewski / Book Hardback
common.buy 153.67 €
Man: His True Nature and Ministry Louis-Claude De Saint-Martin / Book Paperback
common.buy 41.12 €
Distancing English Page Richards / Book Paperback
common.buy 28.76 €
Tales from the Old Brick House William James Lloyd / Book Paperback
common.buy 9.92 €
Oxford Handbook of Infectious Diseases and Microbiology 3e Moran / Book Sheet
common.buy 48.41 €
Ladybird Readers Beginner Level - Eric Carle - What Color Is The Donkey? (ELT Graded Reader) Eric Carle / Book Paperback
common.buy 5.56 €
Problems In General Physics For College Courses Morton Masius / Book Paperback
common.buy 18.43 €
The Virgin Suicides Jeffrey Eugenides / Book Paperback
common.buy 9.72 €
Promoting Abstinence, Being Faithful, and Condom Use with Young Africans Mary Louisa Plummer / Book Hardback
common.buy 195.10 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?