Tek-Tips is the largest IT community on the Internet today!

Members share and learn making Tek-Tips Forums the best source of peer-reviewed technical information on the Internet!

Register Log in
  • Congratulations Mike Lewis on being selected by the Tek-Tips community for having the most helpful posts in the forums last week. Way to Go!

VDM specification question

Status
Not open for further replies.
azizever83

azizever83

MIS
Oct 6, 2010
2
LY
Hello everyone,
I hope that I am in the right place to put my question
I have some questions in VDM. I am trying to understand it but I have some difficulties.
My first question is what is the meaning of mk- we have for example (mk-reservation)
and init
and if there is a specific example helps to understand that will be great.
Thanks
 
Status
Not open for further replies.

Similar threads

BBOscar
  • Locked
  • Question
An OO MVC question
Replies
0
Views
117
BBOscar
BBOscar
peaceatwork
  • Locked
  • Question
Newbie question - can a program uninstall and then re-install a new version the program?
Replies
0
Views
166
peaceatwork
peaceatwork
dugogota
  • Locked
  • Question
Question about inheritance
Replies
3
Views
138
Prattaratt
Prattaratt
cisberner
  • Locked
  • Question
Factory Question 1
Replies
4
Views
155
cisberner
cisberner
utahjzz98
  • Locked
  • Question
A question regarding encapsulation 1
Replies
3
Views
98
jmeckley
jmeckley

Part and Inventory Search

Sponsor

Back
Top