Bücher nach ISBN
>
Winter Industries
> Max Thalmaier
Max Thalmaier
M. T.
Titel
ISBN-13
(ISBN-10)
Erscheinungsjahr
Invariantengenerierung für die Verifikation von System-on-Chip Protokollimplementierungen
978-3-86624-542-6
(3-86624-542-4)
2011
Max Theiler