Implementierung einer Metasprache zur Definition von symbolischen Daten operierenden Interpretern und ihr Einsatz in der Programmverifikation.
I tiakina i:
| Kaituhi matua: | |
|---|---|
| Hōputu: | Pukapuka |
| Reo: | Tiamana |
| I whakaputaina: |
Bregenz
1976
|
| Ngā Tūtohu: |
Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!
|
| Order eBook: |
|
| Order Book: | Login to order |
Ngā tūemi rite: Implementierung einer Metasprache zur Definition von symbolischen Daten operierenden Interpretern und ihr Einsatz in der Programmverifikation.
- Eine Metasprache zur Definition von Programmiersprachen und ihre Implementierung
- Eine Metasprache zur Definition von Programmiersprachen und ihre Implementierung.
- Eine Metasprache zur Definition von Programmiersprachen und ihre Implentierung.
- Philosophie der symbolischen Formen
- Zur Soziologie der symbolischen Formen
- Studien zum Symbolischen in frühmittelhochdeutscher Literatur.