TY - BOOK
AU - International Conference on Formal Engineering Methods 12 2010 Schanghai
AU - Dong, Jin Song
AU - Zhu, Huibiao
TI - Formal methods and software engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010 ; proceedings
PB - Springer
SN - 3642169007
SN - 9783642169007
KW - Formal methods (Computer science) Congresses
KW - Software engineering Congresses
KW - Konferenzschrift 2010 Schanghai
KW - Softwareentwicklung
KW - Formale Methode
KW - Entscheidungsverfahren
KW - Programmverifikation
KW - Programmanalyse
KW - Softwaretest
KW - Model Checking
KW - Serviceorientierte Architektur
KW - Web Services
KW - Leistungsbewertung
PY - 2010
N2 - Literaturangaben
BT - Lecture Notes in Computer Science / Programming and Software Engineering ; 6447
CY - Berlin
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation