Order-sorted algebra I equational deduction for multiple inheritance, overloading, exceptions and partial operations

Bibliographische Detailangaben

1. Verfasser:	Goguen, Joseph A. (VerfasserIn)
Weitere Verfasser:	Meseguer, José (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	Oxford Oxford Univ. Computing Laboratory, Programming Research Group 1989
Schriftenreihe:	Technical monograph PRG 80
Schlagworte:	Bericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!