Ein allgemeiner Ansatz zum Nachweis der Äquivalenz von denotationaler und operationaler Semantik bei Programmiersprachen.
Gorde:
| Egile nagusia: | |
|---|---|
| Formatua: | Liburua |
| Hizkuntza: | alemana |
| Argitaratua: |
Karlsruhe
1981
|
| Etiketak: |
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
|
| Order eBook: |
|
| Order Book: | Login to order |
| Alearen deskribapena: | 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. |
|---|---|
| Deskribapen fisikoa: | I, 162 S. 8° |