Media type: Book; Conference Proceedings Title: Programming languages and systems : proceedings Contains: Literaturangaben Contributor: Degano, Pierpaolo [Hrsg.] Event: ESOP ETAPS imprint: Berlin; Heidelberg [u.a.]: Springer, 2003 Published in: Lecture notes in computer science ; 2618 Extent: XV, 413 S.; graph. Darst; 24 cm Language: English ISBN: 3540008861 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Programmierung > Effizienter Algorithmus > Korrektheit Programmierparadigma Programmanalyse Programmtransformation Typentheorie Origination: Footnote: Includes bibliographical references
Departmental Library DrePunct – stack Shelf-mark: R2016 8 5915 Item ID: 30810215 Status: Loanable, place order > Ordering possible ‒ please log in