Implementierung einer Metasprache zur Definition von symbolischen Daten operierenden Interpretern und ihr Einsatz in der Programmverifikation.
Shranjeno v:
| Glavni avtor: | |
|---|---|
| Format: | Knjiga |
| Jezik: | nemščina |
| Izdano: |
Bregenz
1976
|
| Oznake: |
Brez oznak, prvi označite!
|
| Order eBook: |
|
| Order Book: | Login to order |
| Opis knjige/članka: | 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. |
|---|---|
| Fizični opis: | VI, 288 gez. Bl. m. Tab. u. Diagr. 4° |