Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "Algebraic implementations in an integrated software development and verification system."
Link zu diesem Datensatz | https://d-nb.info/861000331 |
Art des Inhalts | Hochschulschrift |
Titel | Algebraic implementations in an integrated software development and verification system |
Person(en) | Beierle, Christoph (Verfasser) |
Zeitliche Einordnung | Erscheinungsdatum: 1986 |
Umfang/Format | V, 351 S. : graph. Darst. ; 21 cm |
Hochschulschrift | Kaiserslautern, Univ., Diss., 1985 |
Schlagwörter | Software / algebraische Implementierungen in e. integriertes ̃entwicklungs- u. Verifikationssystem |
Sachgruppe(n) | 28 Informatik, Datenverarbeitung ; 0300 Mathematik, Physik, Astronomie |
Weiterführende Informationen | Inhaltsverzeichnis |
Frankfurt |
Signatur: H 86/4264
Bereitstellung in Frankfurt |
Leipzig |
Signatur: Di 1986 A 3798
Bereitstellung in Leipzig |