Filter
Sökt på: Sökresultat
Filter
1 träff
VDM '88. VDM - The Way Ahead
häftad,
1988,
Engelska,
ISBN 9783540502142
This volume presents the proceedings of the 2nd VDM-Europe Symposium held in Dublin, Ireland, September 12-16, 1988. VDM, the Vienna Development Method, is a formal method for …