Research Catalog
Fundamentals of algebraic specification
- Title
- Fundamentals of algebraic specification / H. Ehrig, B. Mahr.
- Author
- Ehrig, Hartmut
- Publication
- Berlin ; New York : Springer-Verlag, c1985-
Items in the Library & Off-site
Filter by
2 Items
| Status | Vol/Date | Format | Access | Call Number | Item Location |
|---|---|---|---|---|---|
| v. 2 | Book/text | Request in advance | JSK 86-120 | Offsite | |
| v. 1 | Book/text | Request in advance | JSK 86-120 | Offsite |
Details
- Additional Authors
- Mahr, B. (Bernd)
- Description
- v. : ill.; 25 cm.
- Series Statement
- EATCS monographs on theoretical computer science ; v. 6, 21
- Alternative Title
- Algebraic specification.
- Subject
- Note
- Includes index.
- Bibliography (note)
- Includes bibliographies.
- Contents
- 1. Equations and initial semantics -- 2. Module specification and constraints.
- Call Number
- JSK 86-120
- ISBN
- 0387137181 (U.S. : v. 1)
- 0387517995 (U.S. : v. 2)
- LCCN
- 85004784
- OCLC
- 11842068
- NYPG86-B95697
- Author
- Ehrig, Hartmut.
- Title
- Fundamentals of algebraic specification / H. Ehrig, B. Mahr.
- Imprint
- Berlin ; New York : Springer-Verlag, c1985-
- Series
- EATCS monographs on theoretical computer science ; v. 6, 21
- Bibliography
- Includes bibliographies.
- Added Author
- Mahr, B. (Bernd)
- Added Title
- Algebraic specification.
- Research Call Number
- JSK 86-120 [Vol.] 1-2.