PROGRAMMING LANGUAGES AND SYSTEMS 17TH EUROPEAN SYMPOSIUM ON PROGRAMMING ESOP 2008 HELD AS PART OF THE JOINT EUROPEAN CONFERENCES ON THEORY AND PRACTICE OF SOFTWARE ETAPS 2008 BUDAPEST HUNGARY MARCH 29 APRIL 6 2008 PROCEEDINGS (PB 2008)

DROSSOPOULOU S

ISBN 10: 3540787380 / ISBN 13: 9783540787389

Edité par SPRINGER, 2008

A propos de cet article

Brand New! Fast Delivery US Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 7-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.

N° de réf. du vendeur CBS 9783540787389

Détails bibliographiques

• Titre: PROGRAMMING LANGUAGES AND SYSTEMS 17TH EUROPEAN SYMPOSIUM ON PROGRAMMING ESOP 2008 HELD AS PART OF THE JOINT EUROPEAN CONFERENCES ON THEORY AND PRACTICE OF SOFTWARE ETAPS 2008 BUDAPEST HUNGARY MARCH 29 APRIL 6 2008 PROCEEDINGS (PB 2008)
• Éditeur: SPRINGER
• Date de parution: 2008
• Langue: anglais
• ISBN à 10 chiffres: 3540787380
• ISBN à 13 chiffres: 9783540787389
• Reliure: Couverture souple
• État de l'article: New

A propos de ce titre

Synopsis

This book constitutes the refereed proceedings of the 17th European Symposium on Programming, ESOP 2008, held in Budapest, Hungary, in March/April 2008, as part of ETAPS 2008, the European Joint Conferences on Theory and Practice of Software. The 25 revised full papers presented together with the abstract of one invited talk and two tool presentations were carefully reviewed and selected from 104 submissions and address fundamental issues in the specification, analysis, and implementation of programming languages and sytems. The papers are organized in topical sections on static analysis, security, concurrency and program verification.