Your search returned 3 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings / edited by D. Bjørner [and others]. by Series: Lecture notes in computer science ; 252.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, ©1987
Other title:
  • VDM, a formal method at work
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
3.
VDM '88 VDM -- The Way Ahead : 2nd VDM-Europe Symposium Dublin, Ireland, September 11-16, 1988 Proceedings / edited by Robin E. Bloomfield, Lynn S. Marshall, Roger B. Jones. by Series: Lecture notes in computer science ; 328.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin, Heidelberg : Springer-Verlag, 1988
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha