˜Aœ polymorphic sort system for axiomatic specification languages

Zugl.: München, Techn. Univ., Diss., 1995

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Nazareth, Dieter
Format: UnknownFormat
Sprache:eng
Veröffentlicht: München Math. Inst. u. Inst. für Informatik, Techn. Univ. München 1995
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Zugl.: München, Techn. Univ., Diss., 1995
Beschreibung:III, 197 S.