Reading Length
Home
Speed Tests
Login
VDM-Europe. International Symposium
Identifiers
Open Library
OL5094453A
Top Subjects
Computer software -- Development -- Congresses (1)
Books by VDM-Europe. International Symposium
Total count: 1
VDM '90
VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 proceedings
Springer-Verlag
1990-01-01
