Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "{{{1}}}"
Treffer 1556 von 12949
|
|
| Link zu diesem Datensatz | https://d-nb.info/952157446 |
| Art des Inhalts | Hochschulschrift |
| Titel | A formal object specification technique using rule-based transformation of partial algebras / von Annika Wagner |
| Person(en) | Wagner, Annika (Verfasser) |
| Ausgabe | [Mikrofiche-Ausg.] |
| Verlag | [Marburg] : [Tectum-Verl.] |
| Zeitliche Einordnung | Erscheinungsdatum: 1997 |
| Umfang/Format | 172 S. |
| Hochschulschrift | Zugl.: Berlin, Techn. Univ., Diss., 1997 |
| ISBN/Einband/Preis |
978-3-8288-0167-7 in Umschlag: DM 68.00 (freier Pr.), S 490.00 (freier Pr.), sfr 68.00 (freier Pr.) 3-8288-0167-6 in Umschlag: DM 68.00 (freier Pr.), S 490.00 (freier Pr.), sfr 68.00 (freier Pr.) |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Edition Wissenschaft / Reihe Informatik ; Bd. 17 |
| Anmerkungen | Mikrofiche-Ausg.: Marburg : Tectum-Verl., 1997. 2 Mikrofiches : 24x |
| Schlagwörter | Formale Spezifikationstechnik ; Graphersetzungssystem ; Partielle Algebra ; Mikroform |
| Sachgruppe(n) | 28 Informatik, Datenverarbeitung |
| Frankfurt |
Signatur: 1998 MF 140
Bereitstellung in Frankfurt |
| Leipzig |
Signatur: 1998 MF 140
Bereitstellung in Leipzig |
Treffer 1556 von 12949
Administration
