An initial algebra approach to the specification, correctness and implementation of abstract data types

Bibliographische Detailangaben

1. Verfasser:	Goguen, J. A. (VerfasserIn)
Weitere Verfasser:	Thatcher, J. W. (VerfasserIn), Wagner, E. G. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Yorktown Heights, New York IBM Thomas J. Watson Research Center 1976
Schriftenreihe:	Research report / IBM Thomas J. Watson Research Center RC 6487 = 26817
Schlagworte:	Bericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!