Universitaet Passau Fakultaet fuer Mathematik und Informatik [University of Passau, Faculty of Mathematics and Computer Science]
Hussmann: Unification in Conditional-Equational Theories; Geser and Hussmann: Rapid Prototyping for Algebraic Specifications - Examples for the use of the RAP system; Geser: A Specification of the Intel 8085 Microprocessor - a Case Study.
Item Details
- Date
- 1985-1986 (Made)
- Type
- Document
- Catalogue number
- 102714724
- Organization
- Universität Passau (University of Passau) (Publisher)
- Category
- Technical Report
- Credit line
- Gift of Herbert Stoyan
- Extent
- 1 folder
- Language
- English
- Acquisition number
- X5687.2010
- Archive collection
- Herbert Stoyan collection on LISP programming
- Archive hierarchy
- Technical reports