Please use this identifier to cite or link to this item: doi:10.22028/D291-25784
Title: Modulare Datentypdefinitionen und ihre Beziehungen zur Logik erster Stufe
Author(s): Treinen, Ralf
Language: German
Year of Publication: 1991
SWD key words: Programmverifikation ; Logik
DDC notations: 004 Computer science, internet
Publikation type: Doctoral Thesis
Abstract: Die vorliegende Arbeit hat einige grundsätzliche Probleme der Verifikation modularisierter Software zum Gegenstand. Dabei interessieren wir uns für die semantischen Aspekte im Zusammenhang mit der Top-Down Entwicklung und der Wiederverwertbarkeit von Software-Modulen.
Liegt nicht vor.
Link to this record: urn:nbn:de:bsz:291-scidok-3188
hdl:20.500.11880/25840
http://dx.doi.org/10.22028/D291-25784
Advisor: Jacques Loeckx
Date of oral examination: 5-Dec-1991
Date of registration: 13-Jul-2004
Faculty: MI - Fakultät für Mathematik und Informatik
Department: MI - Informatik
Collections:SciDok - Der Wissenschaftsserver der Universität des Saarlandes

Files for this record:
File Description SizeFormat 
RalfTreinen_Prof._Dr.-Ing_Jacques_Loeckx.pdf1,45 MBAdobe PDFView/Open


Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.