Format:
X, 620 S. :
,
graph. Darst.
ISBN:
978-3-642-37035-9
Series Statement:
Lecture notes in computer science 7792 : Advanced research in computing and software science
Additional Edition:
Erscheint auch als Online-Ausgabe ISBN 978-3-642-37036-6
Language:
English
Subjects:
Computer Science
Keywords:
Programmiersprache
;
Formale Methode
;
Programmverifikation
;
Programmanalyse
;
Nebenläufigkeit
;
Programmierlogik
;
Softwaresystem
;
Model Checking
;
Konferenzschrift
;
Kongress
;
Konferenzschrift
;
Konferenzschrift