- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
222 Sp.
- Language
-
Deutsch
- Notes
-
Literaturverz. Sp. 219 - 222
- Bibliographic citation
-
Interner Bericht / Technische Universität Kaiserslautern ; 84
- Keyword
-
INTAKT
Spezifikation
Implementierung
Algebraische Spezifikation
Implementierung
- Event
-
Veröffentlichung
- (where)
-
Kaiserslautern
- (who)
-
Univ., Fachbereich Informatik
- (when)
-
1983
- Creator
-
Schrupp, Wilfried
Tamme, Johann
- Contributor
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:52 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Schrupp, Wilfried
- Tamme, Johann
- Universität Kaiserslautern. Fachbereich Informatik
- Univ., Fachbereich Informatik
Time of origin
- 1983
Other Objects (12)
Algebraische Implementierung abstrakter Datentypen
Eine algebraische Spezifikation des Software-Produkts INTAKT
FORTRAN-77-Implementierung von abstrakten Datentypmodulen
Endliche Implementierung algebraischer Spezifikationen
Spezifikation und Verifikation abstrakter Datentypen
Eine Implementierung von Dungs abstrakten Argumentations-Frameworks
Abstrakte Interpretation logischer Programme : Theorie, Implementierung, Generierung
Formale Spezifikation und Implementierung von Hochleistungsprotokollen
Spezifikation und HLL-Implementierung von Multitaskbetriebssystemen
Intakt
Entwicklung und Implementierung eines abstrakten Datentyps für geordnete Bäume am Beispiel eines abstrakten Programmbaums
intakte mütter
Algebraische Implementierung abstrakter Datentypen
Eine algebraische Spezifikation des Software-Produkts INTAKT
FORTRAN-77-Implementierung von abstrakten Datentypmodulen
Endliche Implementierung algebraischer Spezifikationen
Spezifikation und Verifikation abstrakter Datentypen
Eine Implementierung von Dungs abstrakten Argumentations-Frameworks
Abstrakte Interpretation logischer Programme : Theorie, Implementierung, Generierung
Formale Spezifikation und Implementierung von Hochleistungsprotokollen
Spezifikation und HLL-Implementierung von Multitaskbetriebssystemen
Intakt
Entwicklung und Implementierung eines abstrakten Datentyps für geordnete Bäume am Beispiel eines abstrakten Programmbaums
intakte mütter
Algebraische Implementierung abstrakter Datentypen
Eine algebraische Spezifikation des Software-Produkts INTAKT
FORTRAN-77-Implementierung von abstrakten Datentypmodulen
Endliche Implementierung algebraischer Spezifikationen
Spezifikation und Verifikation abstrakter Datentypen
Eine Implementierung von Dungs abstrakten Argumentations-Frameworks
Abstrakte Interpretation logischer Programme : Theorie, Implementierung, Generierung
Formale Spezifikation und Implementierung von Hochleistungsprotokollen
Spezifikation und HLL-Implementierung von Multitaskbetriebssystemen
Intakt
Entwicklung und Implementierung eines abstrakten Datentyps für geordnete Bäume am Beispiel eines abstrakten Programmbaums