Böhm, Klemens (1993)
Real-Time Object Specification Logic.
Technische Hochschule Darmstadt
Diploma Thesis or Magisterarbeit, Bibliographie
Item Type: | Diploma Thesis or Magisterarbeit |
---|---|
Erschienen: | 1993 |
Creators: | Böhm, Klemens |
Type of entry: | Bibliographie |
Title: | Real-Time Object Specification Logic |
Language: | German |
Advisors: | Sernadas, A. |
Date: | March 1993 |
Divisions: | 20 Department of Computer Science |
Date Deposited: | 30 Dec 2016 22:57 |
Last Modified: | 18 Dec 2019 08:17 |
PPN: | |
Export: | |
Suche nach Titel in: | TUfind oder in Google |
Send an inquiry |
Options (only for editors)
Show editorial Details |