VDM '88 : VDM, the way ahead : 2nd VDM-Europe symposium, Dublin, Ireland, September 11-16, 1988 : proceedings / R. Bloomfield, L. Marshall, R. Jones (eds.).
Format | Book and Print |
Publication Info | Berlin ; New York : Springer-Verlag, ©1988. |
Description | ix, 499 pages : illustrations ; 24 cm. |
Subject(s) |
Click here for more information about this title
Other author/creator | Bloomfield, R. |
Other author/creator | Marshall, L. |
Other author/creator | Jones, R. (Roger B.) |
Other author/creator | VDM-Europe. |
Series | Lecture notes in computer science ; 328 Lecture notes in computer science 328. ^A466336 |
Bibliography note | Includes bibliographies. |
Other title | VDM, the way ahead. |
LCCN | 88024877 |
ISBN | 3540502149 |
ISBN | 0387502149 |
Available Items
Library | Location | Call Number | Status | Item Actions | |
Joyner | General Stacks | QA76.76.D47 V854 1988 | ✔ Available | Place Hold |