Formal specification and design / L.M.G. Feijs & H.B.M. Jonkers.
| Author/creator | Feijs, L. M. G. |
| Other author | Jonkers, H. B. M. |
| Format | Book |
| Publication Info | Cambridge ; New York : Cambridge University Press, 1992. |
| Description | xvi, 335 pages : illustrations ; 26 cm. |
| Subjects |
| Series | Cambridge tracts in theoretical computer science ; 35 Cambridge tracts in theoretical computer science ; 35. ^A221007 |
| Bibliography note | Includes bibliographical reference (p. 303-307) and index. |
| LCCN | 92253191 |
| ISBN | 0521434572 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA76.76.D47 F44 1992 | ✔ Available | Place Hold |