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 Chris Miller 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
148
BBOscar
BBOscar
peaceatwork
  • Locked
  • Question
Newbie question - can a program uninstall and then re-install a new version the program?
Replies
0
Views
191
peaceatwork
peaceatwork
dugogota
  • Locked
  • Question
Question about inheritance
Replies
3
Views
166
Prattaratt
Prattaratt
cisberner
  • Locked
  • Question
Factory Question 1
Replies
4
Views
182
cisberner
cisberner
utahjzz98
  • Locked
  • Question
A question regarding encapsulation 1
Replies
3
Views
112
jmeckley
jmeckley

Part and Inventory Search

Sponsor

Back
Top