Implementierung einer Metasprache zur Definition von symbolischen Daten operierenden Interpretern und ihr Einsatz in der Programmverifikation.
Kaydedildi:
| Yazar: | |
|---|---|
| Materyal Türü: | Kitap |
| Dil: | Almanca |
| Baskı/Yayın Bilgisi: |
Bregenz
1976
|
| Online Erişim: | matching Alma AC07516509 (author 100.0%, title 98.6%, shelfmark 75.0%, overall 94.4%) |
| Etiketler: |
Etiket eklenmemiş, İlk siz ekleyin!
|
| Order eBook: |
|
| Order Book: | Login to order |
Benzer Materyaller: 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.