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 2010 Denis Howe

Try myreviewsnow.net, the number 1 social shopping site! directoryold.com. General Business Directory.