TY - BOOK
AU - TACAS 15 2009 York
AU - ETAPS 12 2009 York
AU - Kowalewski, Stefan
AU - Philippou, Anna
TI - Tools and algorithms for the construction and analysis of systems 15th international conference, TACAS 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 - 3642007678
SN - 9783642007675
KW - Computer software Development Congresses
KW - System analysis Congresses
KW - System design Congresses
KW - Konferenzschrift 2009 York
KW - Systementwicklung
KW - Softwareentwicklung
KW - Model Checking
KW - Programmanalyse
KW - Theoretische Informatik
PY - 2009
N2 - Literaturangaben
BT - Lecture notes in computer science ; Theoretical computer science and general issues ; 5505
CY - Berlin
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation