Umfang:
XI, 390 S. :
,
graph. Darst.
ISBN:
978-3-319-10180-4
Serie:
Lecture notes in computer science 8739
Weitere Ausg.:
Erscheint auch als Online-Ausgabe ISBN 978-3-319-10181-1
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Softwareentwicklung
;
Formale Methode
;
Systementwicklung
;
Formale Methode
;
Formale Methode
;
Spezifikationssprache
;
Verifikation
;
Konferenzschrift
;
Konferenzschrift
Mehr zum Autor:
Albert, Elvira.