Skip to content
Home/ Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007, Held as Part o
Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007, Held as Part o

Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007, Held as Part o

No customer reviews yet ISBN 9783540713142

This book constitutes the refereed proceedings of the 16th European Symposium on Programming, ESOP 2007, held in Braga, Portugal in March/April 2007. It covers models and languages for Web services, verification, term rewriting, language based security, logics and correctness proofs, static analysis and abstract interpretation, semantic theories for object oriented languages, process algebraic techniques, applicative programming, and types for systems properties.

About the author

Product details

Pub dateMar 8, 2007
ISBN-10354071314X
ISBN-139783540713142
LanguageEnglish
Last updated 2026-09-08 13:48
$114.64
In stock — ships in 24 hours with free tracking
Delivery by Monday, September 14, 2026
Qty
Sign in to Add to Saved list
Free delivery on orders over $35.
15-day returns. Any reason.
Secure checkout. We never store card details.