Bücher nach ISBN
>
Winter Industries
> Tobias Dornes
Tobias Dornes
Titel
ISBN-13
(ISBN-10)
Erscheinungsjahr
Eigenschaftsbasierte Abstraktion für die formale Verifikation von Komponentensystemen
978-3-86624-573-O
(3-86624-573-4)
2012
T. D.
·
Tobias Daring
·
Tobias Döring
·
Tobias Doring
Tobias Dr. Capwell