Umfang:
XI, 470 Seiten
,
Illustratonen, Diagramme
ISBN:
9783030037680
Serie:
Lecture notes in computer science 11237
Weitere Ausg.:
Erscheint auch als Online-Ressource ISBN 978-3-030-03769-7
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Programmanalyse
;
Softwarearchitektur
;
Programmlaufzeit
;
Programmverifikation
;
Formale Methode
;
Systemanalyse
;
Computerarchitektur
;
Laufzeitsystem
;
Hardwareverifikation
;
Formale Methode
;
Konferenzschrift