Programming Languages and Systems

Name: Programming Languages and Systems
Author: Albert, Elvira und Appel, Andrew W. und Feng, Xinyu und Fu, Hongfei und Lu, Yi und Ren, Kai und Hu, Zhenjiang

Albert, Elvira und Appel, Andrew W. und Feng, Xinyu und Fu, Hongfei und Lu, Yi und Ren, Kai und Hu, Zhenjiang

inkl. MwSt. Versandinformationen

Artikel zZt. nicht lieferbar

Kurzinformation

Sprache:

Englisch

ISBN:

3642106714

Verlag:

Springer-Verlag GmbH

Seitenzahl:

358

Auflage:

Erschienen:

2009-11-24

Dieser Artikel steht derzeit nicht zur Verfügung!

Gebrauchte Bücher kaufen

Information

Das Buch befindet sich in einem sehr guten, unbenutzten Zustand.

Information

Das Buch befindet sich in einem sehr guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können leichte Gebrauchsspuren aufweisen.

Information

Das Buch befindet sich in einem guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können Knicke/Gebrauchsspuren aufweisen.

Information

Das Buch befindet sich in einem lesbaren Zustand. Die Seiten und der Einband sind intakt, jedoch weisen Buchrücken/Ecken/Kanten starke Knicke/Gebrauchsspuren auf. Zusatzmaterialien können fehlen.

Neues Buch oder eBook (pdf) kaufen

Information

Neuware - verlagsfrische aktuelle Buchausgabe.

Neu bei

bestellen E-Book bei

bestellen

Handgeprüfte Gebrauchtware

Schnelle Lieferung

Faire Preise

inkl. MwSt. Versandinformationen

Artikel zZt. nicht lieferbar

Weitere Zahlungsmöglichkeiten

Beschreibung

Programming Languages and Systems

7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009, Proceedings

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 Albert, Elvira und Appel, Andrew W. und Feng, Xinyu und Fu, Hongfei und Lu, Yi und Ren, Kai und Hu, Zhenjiang