TY - BOOK
AU - ICTAC 4 2007 Macau
AU - Jones, Cliff B.
AU - Liu, Zhiming
AU - Woodcock, Jones
TI - Theoretical aspects of computing - ICTAC 2007 4th international colloquium, Macao, China, September 26-28, 2007 ; proceedings
PB - Springer
SN - 3540752900
SN - 9783540752905
KW - Electronic data processing Congresses
KW - Information theory Congresses
KW - Konferenzschrift
KW - Konferenzschrift 2007 Macao
KW - Theoretische Informatik
KW - Model Checking
KW - Systementwicklung
KW - Formale Methode
KW - Softwareentwicklung
KW - Komponente Software
KW - Nebenläufigkeit
KW - Verteilte Programmierung
PY - 2007
N2 - Literaturangaben
BT - Lecture notes in computer science ; 4711
CY - Berlin
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation