- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: Reihe Informatik ; 151.
- Classification
-
Allgemeines, Wissenschaft
- Event
-
Veröffentlichung
- (where)
-
Paderborn
- (who)
-
Universitätsbibliothek
- (when)
-
1994
- Creator
- URN
-
urn:nbn:de:hbz:466:2-6853
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:51 AM 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
- Kastens, Uwe
- Universitätsbibliothek
Time of origin
- 1994
Other Objects (12)
Three compiler specifications
Generating efficient test oracles from specifications
Generating processors from specifications of instruction sets
Generating processors from specifications of instruction sets
Abstract interfaces for compiler generating tools
Generating user interfaces from formal specifications of the application
Generating implementations from formal specifications : a translator from Promela to Java
553, Interprètes / Interpreters
Generating Correct, Compact, and Efficient PLC Code from Scenario-based Assume-Guarantee Specifications
Compiler generation : from compiler descriptions to efficient compilers
Compiler generation, from compiler descriptions to efficient compilers
On ethics and interpreters
Three compiler specifications
Generating efficient test oracles from specifications
Generating processors from specifications of instruction sets
Generating processors from specifications of instruction sets
Abstract interfaces for compiler generating tools
Generating user interfaces from formal specifications of the application
Generating implementations from formal specifications : a translator from Promela to Java
553, Interprètes / Interpreters
Generating Correct, Compact, and Efficient PLC Code from Scenario-based Assume-Guarantee Specifications
Compiler generation : from compiler descriptions to efficient compilers
Compiler generation, from compiler descriptions to efficient compilers
On ethics and interpreters
Three compiler specifications
Generating efficient test oracles from specifications
Generating processors from specifications of instruction sets
Generating processors from specifications of instruction sets
Abstract interfaces for compiler generating tools
Generating user interfaces from formal specifications of the application
Generating implementations from formal specifications : a translator from Promela to Java
553, Interprètes / Interpreters
Generating Correct, Compact, and Efficient PLC Code from Scenario-based Assume-Guarantee Specifications
Compiler generation : from compiler descriptions to efficient compilers
Compiler generation, from compiler descriptions to efficient compilers