- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
21 cm
- Extent
-
16 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
- Event
-
Veröffentlichung
- (where)
-
Passau
- (who)
-
Univ., Fak. für Mathematik und Informatik
- (when)
-
1996
- 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:40 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
- Margaria-Steffen, Tiziana
- Steffen, Bernhard
- Univ., Fak. für Mathematik und Informatik
Time of origin
- 1996
Other Objects (12)
Abstrakte Interpretationen beim Optimieren von Programmlaufzeiten : e. Optimalitätskonzept u. seine Anwendung
Grundlagen der höheren Informatik, Bd. 1.. Induktives Vorgehen
Finite model checking and beyond
Das Dogma vom Kreuz : Beitrag zu einer staurozentrischen Theologie
A pragmatic approach to software synthesis
Towards a tool kit for the automatic generation of interprocedural data flow analyses
Meta-model based generation of domain-specific modeling tools
Verification, model checking, and abstract interpretation : 5th international conference ; proceedings
Composition, decomposition and model checking of pushdown processes
Gemeinsamer Bericht über die Forschungsvorhaben Vollständige interprozedurale Programmoptimierung und Interprozedurale Datenflussanalysegeneratoren
Der Herr im Felde! : Soldatenbüchlein
Pushdown processes : parallel composition and model checking
Abstrakte Interpretationen beim Optimieren von Programmlaufzeiten : e. Optimalitätskonzept u. seine Anwendung
Grundlagen der höheren Informatik, Bd. 1.. Induktives Vorgehen
Finite model checking and beyond
Das Dogma vom Kreuz : Beitrag zu einer staurozentrischen Theologie
A pragmatic approach to software synthesis
Towards a tool kit for the automatic generation of interprocedural data flow analyses
Meta-model based generation of domain-specific modeling tools
Verification, model checking, and abstract interpretation : 5th international conference ; proceedings
Composition, decomposition and model checking of pushdown processes
Gemeinsamer Bericht über die Forschungsvorhaben Vollständige interprozedurale Programmoptimierung und Interprozedurale Datenflussanalysegeneratoren
Der Herr im Felde! : Soldatenbüchlein
Pushdown processes : parallel composition and model checking
Abstrakte Interpretationen beim Optimieren von Programmlaufzeiten : e. Optimalitätskonzept u. seine Anwendung
Grundlagen der höheren Informatik, Bd. 1.. Induktives Vorgehen
Finite model checking and beyond
Das Dogma vom Kreuz : Beitrag zu einer staurozentrischen Theologie
A pragmatic approach to software synthesis
Towards a tool kit for the automatic generation of interprocedural data flow analyses
Meta-model based generation of domain-specific modeling tools
Verification, model checking, and abstract interpretation : 5th international conference ; proceedings
Composition, decomposition and model checking of pushdown processes
Gemeinsamer Bericht über die Forschungsvorhaben Vollständige interprozedurale Programmoptimierung und Interprozedurale Datenflussanalysegeneratoren
Der Herr im Felde! : Soldatenbüchlein