/LC.GIF&client=easterncarolinaedu)
VDM '91 : formal software development methods : 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991 : proceedings / S. Prehn, W.J. Toetenel (eds.).
| Author/creator | VDM (Symposium) |
| Other author | Prehn, S. (Søren), 1955- |
| Other author | Toetenel, W. J., 1953- |
| Format | Book |
| Publication Info | Berlin ; New York : Springer-Verlag, ©1991. |
| Description | 2 volumes : illustrations ; 24 cm. |
| Subjects |
| Series | Lecture notes in computer science ; 551-552 Lecture notes in computer science 551-552. ^A466336 |
| Contents | v. 1. Conference contributions -- v. 2. Tutorials. |
| Bibliography note | Includes bibliographical references and index. |
| LCCN | 91033143 |
| ISBN | 3540548343 (Springer-Verlag Berlin : v. 1) |
| ISBN | 0387548343 (Springer-Verlag New York : v.1) |
| ISBN | 3540548688 (Springer-Verlag Berlin : v. 2) |
| ISBN | 0387548688 (Springer-Verlag New York : v. 2) |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA76.76.D47 V36 1991 V.1 | ✔ Available | Place Hold |
| Joyner | General Stacks | QA76.76.D47 V36 1991 V.2 | ✔ Available | Place Hold |