ECU Libraries Catalog

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 InfoBerlin ; New York : Springer-Verlag, ©1988.
Descriptionix, 499 pages : illustrations ; 24 cm.
Subject(s)
Other author/creatorBloomfield, R.
Other author/creatorMarshall, L.
Other author/creatorJones, R. (Roger B.)
Other author/creatorVDM-Europe.
Series Lecture notes in computer science ; 328
Lecture notes in computer science 328. ^A466336
Bibliography noteIncludes bibliographies.
Other titleVDM, the way ahead.
LCCN 88024877
ISBN3540502149
ISBN0387502149

Available Items

Library Location Call Number Status Item Actions
Joyner General Stacks QA76.76.D47 V854 1988 ✔ Available Place Hold