Algebraic specifications in software engineering : an introduction
- Title
- Algebraic specifications in software engineering : an introduction / Ivo van Horebeek, Johan Lewi.
- Published by
- Berlin ; New York : Springer-Verlag, c1989.
- Author
Items in the library and off-site
Displaying 1 item
Status | Format | Access | Call number | Item location |
---|---|---|---|---|
Status | FormatBook/Text | AccessRequest in advance | Call numberJSE 90-1583 | Item locationOffsite |
Details
- Additional authors
- Description
- xiv, 350 p. : ill.; 25 cm.
- Subject
- Call number
- JSE 90-1583
- Bibliography (note)
- Includes bibliographical references (p. [327]-342)
- 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.
- LCCN
- 89026115
- ISBN
- 0387516263 (U.S.)
- Research call number
- JSE 90-1583