Implementierung einer Metasprache zur Definition von symbolischen Daten operierenden Interpretern und ihr Einsatz in der Programmverifikation.
محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| التنسيق: | كتاب |
| اللغة: | الألمانية |
| منشور في: |
Bregenz
1976
|
| الوصول للمادة أونلاين: | matching Alma AC07516509 (author 100.0%, title 98.6%, shelfmark 75.0%, overall 94.4%) |
| الوسوم: |
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
| Order eBook: |
|
| Order Book: | Login to order |
مواد مشابهة: 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.