Canonical term functors and parameterization-by-use for the specification of abstract data types

Bibliographische Detailangaben

1. Verfasser:	Beierle, Christoph (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Kaiserslautern 1983
Schriftenreihe:	Universität <Kaiserslautern> / Fachbereich Informatik: Interner Bericht 77
Schlagworte:	Datenauswertung > Softwarespezifikation
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!