Object-Oriented Algebraic Specification: Proposal for a Notation and 12 Examples

Authors
Publication date 1994
Host editors
  • A. Schrijver
  • K.R. Apt
  • N.M. Temme
Book title From Universal Morphisms to Megabytes - a Baayen Space Odyssey
Pages (from-to) 187-213
Publisher Amsterdam: CWI
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Chapter
Permalink to this page
Back