> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch; Hochschulschrift Titel: Analyse von natürlichsprachlichen Softwarespezifikationen und ihre Darstellung durch logische Formen Beteiligte: Killmeier, Norbert [VerfasserIn] Erschienen: Sankt Augustin: GMD, 1995 Erschienen in: Gesellschaft für Mathematik und Datenverarbeitung: GMD-Studien ; 25800 Umfang: IV, 158 S; graph. Darst; 30 cm Sprache: Deutsch ISBN: 388457258X RVK-Notation: SI 213 : Gesellschaft für Mathematik und Datenverarbeitung (Bonn): GMD-Mitteilungen Schlagwörter: Natürlichsprachiges System Softwarespezifikation > Formale Spezifikationstechnik Entstehung: Hochschulschrift: Zugl.: Bonn, Univ., Diplomarb., 1993 Anmerkungen: Literaturverz. S. 155 - 158 Weitere Bestandsnachweise 0 : GMD-Studien
Zentralbibliothek – Magazin Signatur: R2015 4 1712 Barcode: 10014073 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden