Format:
XI, 390 S. :
,
graph. Darst.
ISBN:
978-3-319-10180-4
Series Statement:
Lecture notes in computer science 8739
Additional Edition:
Erscheint auch als Online-Ausgabe ISBN 978-3-319-10181-1
Language:
English
Subjects:
Computer Science
Keywords:
Softwareentwicklung
;
Formale Methode
;
Systementwicklung
;
Formale Methode
;
Formale Methode
;
Spezifikationssprache
;
Verifikation
;
Konferenzschrift
;
Konferenzschrift
Author information:
Albert, Elvira.