Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=945176082
Link zu diesem Datensatz | https://d-nb.info/945176082 |
Art des Inhalts | Hochschulschrift |
Titel | Formal specifications with higher order parameterization / María Victoria Cengarle |
Person(en) | Cengarle, María Victoria (Verfasser) |
Ausgabe | Als Ms. gedr. |
Verlag | Aachen : Shaker |
Zeitliche Einordnung | Erscheinungsdatum: 1995 |
Umfang/Format | X, 234 S. ; 21 cm |
Hochschulschrift | Zugl.: München, Univ., Diss., 1994 |
ISBN/Einband/Preis |
978-3-8265-0809-7 kart. : DM 98.00, sfr 99.00, S 689.00 3-8265-0809-2 kart. : DM 98.00, sfr 99.00, S 689.00 |
Beziehungen | Berichte aus der Informatik |
Schlagwörter | Algebraische Spezifikation ; ASL <Programmiersprache> ; HOL |
Sachgruppe(n) | 28 Informatik, Datenverarbeitung |
Frankfurt |
Signatur: 1995 A 49837
Bereitstellung in Frankfurt |
Leipzig |
Signatur: 1995 A 49837
Bereitstellung in Leipzig |