TU Darmstadt / ULB / TUbiblio

Deduktive Verifikation : Von der Theorie in die Praxis

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

Optionen (nur für Redakteure)

View Item View Item