VDM 91 formal software development methods
Prehn, S
VDM 91 formal software development methods - Berlin Springer Verlag 1991 - Lecture notes in computer science .
3540548343
Software development
VDM 91 formal software development methods - Berlin Springer Verlag 1991 - Lecture notes in computer science .
3540548343
Software development