| Item Type: |
Book
|
| Erschienen: |
1996 |
| Creators: |
Kremer, Marion |
| Type of entry: |
Bibliographie |
| Title: |
Beweisführung auf der Basis denotationaler Sprachbeschreibungen: zwei umfassende Beispiele |
| Language: |
German |
| Date: |
1996 |
| Place of Publication: |
Darmstadt |
| Publisher: |
Techn. Hochschule |
| Series Volume: |
PI-R1/ |
| Edition: |
Darmstadt: Techn. Hochschule, FB 20, FG Praktische Informatik, 1996 |
| Divisions: |
20 Department of Computer Science |
| Date Deposited: |
19 Nov 2008 16:02 |
| Last Modified: |
05 Mar 2013 08:37 |
| PPN: |
|
| Export: |
|
| Suche nach Titel in: |
TUfind oder in Google |
Drucken
Impressum