Object-oriented algebraic specification : Proposal for anotation and 12 examples

DSpace/Manakin Repository

Bergstra, J.A.; Heering, J.; Klop, J.W.

(1994) From Universal Morphisms to Megabytes : a Baayen space odyssey, pp. 187 - 213

(Article in proceedings)

Download/Full Text

Publisher: Stichting Mathematische Centrum

See more statistics about this item