VDM++


Meaning of VDM++ in English

Object-oriented extension of VDM-SL . ["Object-Oriented Specification in VDM++", in Object Oriented Specification Case Studies, K. Lano et al eds, P-H 1993].

FOLDOC computer English dictionary.      Английский словарь по компьютерам FOLDOC.