Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,57
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 80,24
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2012 edition. 397 pages. 9.50x6.25x0.75 inches. In Stock.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2012
ISBN 10: 3642351816 ISBN 13: 9783642351815
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 10th Asian Symposium on Programming Languages and Systems, APLAS 2012, held in Kyoto, Japan, in December 2012. The 24 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 58 submissions. The papers are organized in topical sections on concurrency, security, static analysis, language design, dynamic analysis, complexity and semantics, and program logics and verification.