VDM '88 VDM, the way ahead : 2nd VDM-Europe symposium, Dublin, Ireland, September, 1988 : proceedings / R. Bloomfield, L. Marshall, R. Jones (eds.).

Author/creator VDM '88
Format Electronic
Publication InfoBerlin ; New York : Springer-Verlag,
Descriptionix, 499 p. : ill. ; 24 cm.
Supplemental ContentFull text available from Springer Books
Supplemental ContentFull text available from SpringerLINK Lecture Notes in Computer Science
Subjects

Other author/creatorBloomfield, R.
Other author/creatorMarshall, L.
Other author/creatorJones, R. (Roger B.)
Other author/creatorVDM-Europe.
SeriesLecture notes in computer science ; 328
Bibliography noteIncludes bibliographies.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
Other titleVDM, the way ahead.
LCCN 88024877
ISBN3540502149

Availability

Library Location Call Number Status Item Actions
Electronic Resources ✔ Available