Graphische Spezifikationen : ein graphik-adäquater, ojektzentrierter Kalkül zur Entwicklung korrekter Programme
Saved in:
OCLC: | 35511986 |
---|---|
Main Author: | |
Corporate Authors: | , , |
Language: | German |
Published: |
Karlsruhe :
Forschungszentrum Informatik,
1991.
|
Series: | FZI Dissertation.
|
Subjects: | |
Format: | Thesis Monograph Note that CRL will digitize material from the collection when copyright allows. |