9783642106712 - Programming Languages and Systems - Elvira Albert Andrew W Appel Xinyu Feng Hongfei Fu Yi Lu Kai Ren Kartoniert (TB)

EAN: 9783642106712

Produktdaten aktualisiert am: 19.01.2025
Hersteller: - Hersteller-ArtNr. (MPN): - ASIN: - 
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.

Produktzustand:

Verfügbarkeit:

Versandkosten:

Sonderpreis:

Loading
Barcode:
9783642106712
QR-Code:
Sie sind Shopbetreiber? Listen Sie ganz einfach Ihre Produkte hier bei uns im Portal >>>
ean-shopping.de - es werden keine Cookies verwendet - Impressum