Implementierung einer Metasprache zur Definition von symbolischen Daten operierenden Interpretern und ihr Einsatz in der Programmverifikation.
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | German |
| Published: |
Bregenz
1976
|
| Tags: |
No Tags, Be the first to tag this record!
|
| Order eBook: |
|
| Order Book: | Login to order |
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | 2645942 | ||
| 007 | tu | ||
| 041 | |a ger | ||
| 100 | 1 | |a Sutter, Peter | |
| 245 | 1 | 0 | |a Implementierung einer Metasprache zur Definition von symbolischen Daten operierenden Interpretern und ihr Einsatz in der Programmverifikation. |
| 246 | 3 | |a SUTTER,Peter: | |
| 264 | 1 | |a Bregenz |c 1976 | |
| 300 | |a VI, 288 gez. Bl. |b m. Tab. u. Diagr. |c 4° | ||
| 500 | |a Dg 13.081 -- SUTTER,Peter: -- Implementierung einer Metasprache zur Definition von symbolischen Daten operierenden Interpretern und ihr Einsatz in der Programmverifikation. - Bregenz 1976. VI,288 gez.Bl. m.Tab.u.Diagr. 4° [Maschinenschr.hektorg.] -- Innsbruck,phil.Diss.1977. -- 1977! -- Ts. | ||
| 852 | |c Dg 13.081 | ||
| 999 | |a Dissertation | ||
| 591 | |a description: Implementierung einer Metasprache zur Deiiriition von symbolischen Daten operierenden Interpretern und ihr Einsatz in der Programmverifikation. Bregenz 1976. VI,288 gez.El.m.Tab.u.Diagr. 4 Maschinensehr.hektorg.Innsbruck,phil.Diss.1977. 1977 Ts. |a signature: Dg 13.681 |a author: SUTTSR, Peter |a published: 1977 | ||