Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and . (Lecture Notes in Computer Science, 4421)
Language: English
Published by Springer, 2007
- Softcover
- Used
Seller: Michael Knight, Bookseller, Forest Grove, OR, U.S.A.Michael Knight, Bookseller
AbeBooks seller since February 24, 2023
Condition: Used - Good
US$ 85.50
Quantity: 1 available
Add to basketItem description from seller
Paperback. Ex-library with usual markings. Text clean and binding solid.
Seller Inventory # mon0000016450
- Title
- Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and . (Lecture Notes in Computer Science, 4421)
- Publisher
- Springer
- Publication year
- 2007
- Condition
- Good
- Binding
- paperback
- Language
- English
- ISBN 10
- 354071314X
- ISBN 13
- 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.
"Synopsis" may belong to another edition of this title.
Michael Knight, Bookseller
Forest Grove, OR, U.S.A.
AbeBooks seller since February 24, 2023
Shipping rates within U.S.A.
| Item | 5 to 14 business days | 3 to 6 business days |
|---|---|---|
| First item | US$ 3.00 | US$ 9.20 |
Payment methods
Specialty
Primarily used non-fictionSeller's business information
Michael Knight, Bookseller
OR, U.S.A.
Terms of sale
We guarantee the condition of every book as it's described
on the Abebooks web
sites. If you're dissatisfied with your purchase (Incorrect
Book/Not as
Described/Damaged) or if the order hasn't arrived, you're
eligible for a refund
within 30 days of the estimated delivery date. If you've
changed your mind about a
book that you've ordered, please use the Ask bookseller a
question link to contact
us and we'll respond within 2 business days.
Shipping terms
Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.