Algebraic system specification and development. A survey and annotated bibliography
From MaRDI portal
Publication:1202052
zbMath0875.68642MaRDI QIDQ1202052
No author found.
Publication date: 23 January 1993
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
68Q65: Abstract data types; algebraic specification
68-02: Research exposition (monographs, survey articles) pertaining to computer science
Related Items
Algebraic transformation of unary partial algebras II: Single-pushout approach, OBSCURE, a specification language for abstract data types, Essential concepts of algebraic specification and program development, The definition of Extended ML: A gentle introduction, CASL: the Common Algebraic Specification Language., Structured theories and institutions, The data type variety of stack algebras
Uses Software