Buch
Languages, Design Methods, and Tools for Electronic System Design
-Selected Contributions from FDL 2014-Frank Oppenheimer; Julio Luis Medina Pasaje (Hrsg.)
106,99
EUR
Lieferzeit 12-13 Tage
Übersicht
Verlag | : | Springer International Publishing |
Buchreihe | : | Lecture Notes in Electrical Engineering (Bd. 361) |
Sprache | : | Englisch |
Erschienen | : | 30. 03. 2019 |
Seiten | : | 205 |
Einband | : | Kartoniert |
Höhe | : | 235 mm |
Breite | : | 155 mm |
Gewicht | : | 448 g |
ISBN | : | 9783319796314 |
Sprache | : | Englisch |
Inhaltsverzeichnis
Formal Models & Verification & Predictability.- Languages for Requirements.- Parallel Architectures.- Modelling and Verification of power properties.