Media type: Book; Conference Proceedings Title: Programming languages and systems : 8th Asian symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 ; proceedings Contributor: Ueda, Kazunori [Hrsg.] Event: APLAS imprint: Berlin; Heidelberg [u.a.]: Springer, 2010 Published in: Lecture notes in computer science ; 6461 Extent: XI, 456 S.; graph. Darst Language: English ISBN: 364217163X; 9783642171635 Publisher, production or purchase order numbers: Sonstige Nummer: 80027352 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Programmiersprache > Formale Methode Programmverifikation Softwaresystem > Programmanalyse > Model Checking Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2017 8 1600 Item ID: 32894609 Status: Loanable, place order > Ordering possible ‒ please log in Orders received from Mon - Fri by 1 pm are expected to be ready for you on the same day.