Buch, Englisch, Band 361, 205 Seiten, Format (B × H): 160 mm x 241 mm, Gewicht: 4823 g
Selected Contributions from FDL 2014
Buch, Englisch, Band 361, 205 Seiten, Format (B × H): 160 mm x 241 mm, Gewicht: 4823 g
Reihe: Lecture Notes in Electrical Engineering
ISBN: 978-3-319-24455-6
Verlag: Springer International Publishing
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
Weitere Infos & Material
Formal Models & Verification & Predictability.- Languages for Requirements.- Parallel Architectures.- Modelling and Verification of power properties.