VDM++

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].

Try this search on Wikipedia, OneLook, Google

Nearby terms: vdiff « VDL « VDM « VDM++ » VDM-SL » VDSL » VDT


Loading

Copyright Denis Howe 1985

directoryold.com. General Business Directory. http://hotbookee.com.