Research Catalog
Fundamentals of algebraic specification / H. Ehrig, B. Mahr.
- Title
- Fundamentals of algebraic specification / H. Ehrig, B. Mahr.
- Author
- Ehrig, Hartmut
- Publication
- Berlin ; New York : Springer-Verlag, ©1985-
Items in the Library & Off-site
Filter by
2 Items
| Status | Vol/Date | Format | Access | Call Number | Item Location |
|---|---|---|---|---|---|
| v.1 | Text | Request in advance | QA76.9.D35 E37 1985 v.1 | Off-site | |
| v.2 | Text | Request in advance | QA76.9.D35 E37 1985 v.2 | Off-site |
Holdings
Details
- Additional Authors
- Mahr, B. (Bernd)
- Description
- volumes : illustrations; 25 cm.
- Series Statement
- EATCS monographs on theoretical computer science ; v. 6, 21
- Uniform Title
- EATCS monographs on theoretical computer science ; v. 6, etc.
- Alternative Title
- Algebraic specification.
- Subject
- Bibliography (note)
- Includes bibliographies and indexes.
- Contents
- 1. Equations and initial semantics -- 2. Module specifications and constraints.
- ISBN
- 0387137181 (U.S. : v. 1)
- LCCN
- 85004784
- Owning Institutions
- Columbia University Libraries