Format:
XI, 470 Seiten
,
Illustratonen, Diagramme
ISBN:
9783030037680
Series Statement:
Lecture notes in computer science 11237
Additional Edition:
Erscheint auch als Online-Ressource ISBN 978-3-030-03769-7
Language:
English
Subjects:
Computer Science
Keywords:
Programmanalyse
;
Softwarearchitektur
;
Programmlaufzeit
;
Programmverifikation
;
Formale Methode
;
Systemanalyse
;
Computerarchitektur
;
Laufzeitsystem
;
Hardwareverifikation
;
Formale Methode
;
Konferenzschrift