meta-calculus for formal system development
By: Matthias Weber.
Series: Berichte der Gesellschaft für Mathematik und Datenverarbeitung -- Nr. 195
Publisher: R. Oldenbourg
Published: 1991
Place of publication: München
Language: eng
Number of pages: 197
Subjects: Calculus.; Computer software -- Development.
Notes: Thesis (doctoral)--Universität Karlsruhe, 1990.

Includes bibliographical references.