TY - BOOK
AU - ICTAC 7 2010 Natal, Rio Grande do Norte
AU - Cavalcanti, Ana
AU - Deharbe, David
AU - Gaudel, Marie-Claude
AU - Woodcock, Jim
TI - Theoretical aspects of computing - ICTAC 2010 7th international colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010 ; proceedings
PB - Springer
SN - 3642148077
SN - 9783642148071
KW - Electronic data processing Congresses
KW - Information theory Congresses
KW - Konferenzschrift 2010 Natal, Rio Grande do Norte
KW - Theoretische Informatik
KW - Programmierung
KW - Formale Methode
KW - Softwareentwicklung
KW - Programmverifikation
KW - Softwaretest
PY - 2010
N2 - Literaturangaben
BT - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues ; 6255
CY - Berlin
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation