Please use this identifier to cite or link to this item: doi:10.22028/D291-26431
Title: A formal description of the specification language OBSCURE
Author(s): Loeckx, Jacques
Language: English
Year of Publication: 1985
DDC notations: 004 Computer science, internet
Publikation type: Report
Abstract: The present report gives a complete formal definition of the specification language OBSCURE. An informal introduction to this language may be found in [LL 85].
Link to this record: urn:nbn:de:bsz:291-scidok-51227
Series name: Technischer Bericht / A / Fachbereich Informatik, Universität des Saarlandes
Series volume: 1985/15
Date of registration: 20-Mar-2013
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 
fb14_1985_15.pdf37,57 MBAdobe PDFView/Open

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