Validierung eines in C implementierten Frame-Datenmodells anhand einer Spezifikation in PROLOG Contract 1020016-0 = Validation of a frame data model implemented in C with a specification in PROLOG
Gespeichert in:
1. Verfasser: | |
---|---|
Körperschaften: | , , |
Format: | UnknownFormat |
Sprache: | ger |
Veröffentlicht: |
Konstanz
1986
|
Schriftenreihe: | Bericht TOPOGRAPHIC
7 |
Schlagworte: | |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Keine Ergebnisse!