Bubel, Richard (2018):
Deduktive Verifikation : Von der Theorie in die Praxis.
Darmstadt, [Habilitation]
Item Type: | Habilitation |
---|---|
Erschienen: | 2018 |
Creators: | Bubel, Richard |
Title: | Deduktive Verifikation : Von der Theorie in die Praxis |
Language: | German |
Place of Publication: | Darmstadt |
Divisions: | 20 Department of Computer Science > Software Engineering 20 Department of Computer Science |
Date Deposited: | 31 Jan 2018 09:27 |
Export: | |
Suche nach Titel in: | TUfind oder in Google |
![]() |
Send an inquiry |
Options (only for editors)
![]() |
Show editorial Details |