TY - BOOK
AU - ESOP 18 2009 York
AU - ETAPS 12 2009 York
AU - Castagna, Giuseppe
TI - Programming languages and systems 18th European Symposium on Programming, ESOP 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 ; proceedings
PB - Springer
SN - 3642005896
SN - 9783642005893
KW - Konferenzschrift 2009 York
KW - Programmiersprache
KW - Funktionale Programmierung
KW - Typisierte Programmiersprache
KW - Programmierung
KW - Nebenläufigkeit
KW - Programmverifikation
KW - Serviceorientierte Architektur
PY - 2009
N2 - Literaturangaben
BT - Lecture notes in computer science ; Theoretical computer science and general issues ; 5502
CY - Berlin
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation