Ein allgemeiner Ansatz zum Nachweis der Äquivalenz von denotationaler und operationaler Semantik bei Programmiersprachen.
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | German |
| Published: |
Karlsruhe
1981
|
| Tags: |
No Tags, Be the first to tag this record!
|
| Order eBook: |
|
| Order Book: | Login to order |
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | 2626643 | ||
| 007 | tu | ||
| 041 | |a ger | ||
| 100 | 1 | |a Stephan, Werner | |
| 245 | 1 | 0 | |a Ein allgemeiner Ansatz zum Nachweis der Äquivalenz von denotationaler und operationaler Semantik bei Programmiersprachen. |
| 246 | 3 | |a STEPHAN,Werner: | |
| 264 | 1 | |a Karlsruhe |c 1981 | |
| 300 | |a I, 162 S. |c 8° | ||
| 500 | |a D 193.615 -- STEPHAN,Werner: -- Ein allgemeiner Ansatz zum Nachweis der -- Äquivalenz von denotationaler und operationa- -- ler Semantik bei Programmiersprachen. - -- Karlsruhe 1981. I,162 S. 8° -- Karlsruhe,naturwiss.Diss.1981. -- 1984! -- W.E. | ||
| 852 | |c D 193.615 | ||
| 999 | |a Dissertation | ||
| 591 | |a description: Ein allgemeiner Ansatz zum Nachweis derÄquivalenz von denotationaler und operationaler Semantik bei Programmiersprachen. Karlsruhe 1981. 1,162 S. 8Karlsruhe,naturwiss.Diss.1981.1984 W.E. |a signature: D 193.615 |a author: STEPHAN, Werner |a published: 1984 | ||