KORSO: das Verbundprojekt “Korrekte Software”
Verfasserangaben: | Heinrich Hußmann, Jacques Loeckx, Wolfgang ReifORCiDGND |
---|---|
Frontdoor-URL | https://opus.bibliothek.uni-augsburg.de/opus4/60770 |
ISBN: | 9783540571926OPAC |
ISBN: | 9783642784866OPAC |
ISSN: | 1431-472XOPAC |
Titel des übergeordneten Werkes (Deutsch): | Informatik — Wirtschaft — Gesellschaft: 23. GI — Jahrestagung, Dresden, 27. September – 1. Oktober 1993 |
Verlag: | Springer |
Verlagsort: | Berlin |
Herausgeber*in: | Horst Reichel |
Typ: | Teil eines Buches (Kapitel) |
Sprache: | Deutsch |
Jahr der Erstveröffentlichung: | 1993 |
Veröffentlichende Institution: | Universität Augsburg |
Datum der Freischaltung in OPUS: | 27.08.2019 |
Erste Seite: | 266 |
Letzte Seite: | 271 |
Schriftenreihe / Serie: | Informatik aktuell |
DOI: | https://doi.org/10.1007/978-3-642-78486-6_42 |
Einrichtungen der Universität: | Fakultät für Angewandte Informatik |
Fakultät für Angewandte Informatik / Institut für Informatik | |
Fakultät für Angewandte Informatik / Institut für Software & Systems Engineering | |
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik | |
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik / Lehrstuhl für Softwaretechnik |