Media type: Book; Conference Proceedings Title: Programming languages and systems : 9th Asian symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011 ; proceedings Contributor: Yang, Hongseok [Editor] Event: APLAS Published: Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 7078 Extent: XI, 383 S.; graph. Darst; 235 mm x 155 mm Language: English ISBN: 3642253172; 9783642253171 Publisher, production or purchase order numbers: Sonstige Nummer: 86008124 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Programmiersprache > Formale Methode > Programmierlogik Programmanalyse > Programmtransformation Programmverifikation > Model Checking Nebenläufigkeit Compiler > Codegenerierung Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2017 8 2395 Item ID: 32944230 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order