Mathematical methods of specification and synthesis of software systems '85 : proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985 / edited by W. Bibel and K.P. Jantke.
| Other author | Jantke, K. P. |
| Other author | Bibel, W., 1938- |
| Other author | International Spring School (1985 : Wendisch-Rietz, East Germany) |
| Format | Book |
| Publication Info | Berlin ; New York : Springer-Verlag, ©1986. |
| Description | 245 pages : illustrations ; 25 cm. |
| Subjects |
| Series | Lecture notes in computer science ; 215 Lecture notes in computer science 215. ^A466336 |
| Bibliography note | Includes bibliographical references. |
| ISBN | 0387164448 |
| ISBN | 3540164448 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA76.76.M37 M37X 1986 | ✔ Available | Place Hold |