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. |
| LEADER | 01542cam a2200373Ma 45 0 | ||
|---|---|---|---|
| 001 | in00006267309 | ||
| 003 | OCoLC | ||
| 005 | 00010101120000.0 | ||
| 008 | 921007s1991 gw 000 0 ger d | ||
| 035 | |a (OCoLC)35511986 | ||
| 040 | |a CAI |c CAI |d OCL |d CRL | ||
| 041 | 0 | |a ger |b eng | |
| 049 | |a CRLL | ||
| 099 | |a P-60065281 | ||
| 100 | 1 | |a Zimbel, Roland |q (Roland Kurt), |d 1955- | |
| 245 | 1 | 0 | |a Graphische Spezifikationen : |b ein graphik-adäquater, ojektzentrierter Kalkül zur Entwicklung korrekter Programme / |c Roland Zimbel. |
| 260 | |a Karlsruhe : |b Forschungszentrum Informatik, |c 1991. | ||
| 300 | |a iii, 163 p. : |b ill. ; |c 30 cm. | ||
| 336 | |a text |b txt |2 rdacontent. | ||
| 337 | |a unmediated |b n |2 rdamedia. | ||
| 339 | |a volume |b nc |2 rdacarrier. | ||
| 490 | 0 | |a FZI Dissertation. | |
| 500 | |a Summary in English. | ||
| 502 | |b doctoral |c Universität Karlsruhe (T.H.) |d 1991. | ||
| 650 | 0 | |a Computer graphics |x Mathematics. | |
| 650 | 0 | |a Computer graphics |x Computer programs. | |
| 710 | 2 | |a Universität Karlsruhe. |b Forschungszentrum Informatik. | |
| 710 | 2 | |a Universität Karlsruhe. Fakultät für Informatik. | |
| 710 | 2 | |a Universität Karlsruhe. | |
| 752 | |a Germany. | ||
| 907 | |a .b22267177 |b 06-01-22 |c 04-11-07 | ||
| 998 | |a diss |b 04-11-07 |c m |d - |e - |f ger |g gw |h 0 |i 1 | ||
| 999 | f | f | |i baf6b64f-0c15-5325-a890-de5981624416 |s f4ba1401-f991-55e7-add8-f845cfde2198 |t 0 |