Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=910214883
|
|
|
| Link zu diesem Datensatz | https://d-nb.info/910214883 |
| Titel | A simple calculus for program transformations : (inclusive of induction) / Peter Pepper. TUM, Institut für Informatik, Technische Universität München |
| Person(en) | Pepper, Peter (Verfasser) |
| Verlag | München : Bibliothek der Fak. für Mathematik und Informatik, TUM |
| Zeitliche Einordnung | Erscheinungsdatum: 1984 |
| Umfang/Format | 47 S. ; 21 cm |
| ISBN/Einband/Preis | kart. |
| Identifikationsnummern | Reportnummer: TUM I 8409 |
| Anmerkungen |
Literaturverz. S. 45 - 47 Status nach VGG: vergriffen |
| Sachgruppe(n) | 28 Informatik, Datenverarbeitung ; 0800 Energiewirtschaft, Elektrotechnik, Elektronik |
| Frankfurt |
Signatur: D 90/52719
Bereitstellung in Frankfurt |
| Leipzig |
Signatur: SA 27568-8409
Bereitstellung in Leipzig |

