Research Catalog
Algebraic specifications in software engineering : an introduction
- Title
- Algebraic specifications in software engineering : an introduction / Ivo van Horebeek, Johan Lewi.
- Author
- Horebeek, Ivo van, 1959-
- Publication
- Berlin ; New York : Springer-Verlag, c1989.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 90-1583 | Offsite |
Details
- Additional Authors
- Lewi, Johan.
- Description
- xiv, 350 p. : ill.; 25 cm.
- Subjects
- Bibliography (note)
- Includes bibliographical references (p. [327]-342)
- Call Number
- JSE 90-1583
- ISBN
- 0387516263 (U.S.)
- LCCN
- 89026115
- OCLC
- NYPG90-B80792
- Author
- Horebeek, Ivo van, 1959-
- Title
- Algebraic specifications in software engineering : an introduction / Ivo van Horebeek, Johan Lewi.
- Imprint
- Berlin ; New York : Springer-Verlag, c1989.
- Bibliography
- Includes bibliographical references (p. [327]-342)
- Added Author
- Lewi, Johan.
- Research Call Number
- JSE 90-1583