PROGRAMMING LANGUAGES AND SYSTEMS (PB 2009)

HU Z.

ISBN 10: 3642106714 / ISBN 13: 9783642106712

Verlag: SP SPRINGER, 2009

Brand New! Fast Delivery This is an International 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-12 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. Bestandsnummer des Verkäufers CBS 9783642106712

Inhaltsangabe:

This book constitutes the refereed proceedings of the 7th Asian Symposium on Programming Languages and Systems, APLAS 2009, held in Seoul, Korea, in December 2009. The 21 papers presented in this volume together with 3 invited talks were carefully reviewed and selected from 56 submissions. The papers are divided into topical sections on program analysis, transformation and optimization, type system, separation logic, logic and foundation theory, software security and verification, and software security and verification.

Von der hinteren Coverseite:

This book constitutes the refereed proceedings of the 7th Asian Symposium on Programming Languages and Systems, APLAS 2009, held in Seoul, Korea, in December 2009.

The 21 papers presented in this volume together with 3 invited talks were carefully reviewed and selected from 56 submissions. The papers are divided into topical sections on program analysis, transformation and optimization, type system, separation logic, logic and foundation theory, software security and verification, and software security and verification.

Bibliografische Details

Titel: PROGRAMMING LANGUAGES AND SYSTEMS (PB 2009)
Verlag: SP SPRINGER
Erscheinungsdatum: 2009
Einband: Softcover
Zustand: New
Auflage: Internationale Ausgabe