cs709 Paper
Objective part (20 questions)
Subjective part (8 questions)
Paper was conceptual and covered slides
2 questions were related to birthday book example
2 questions were about Z schema's
1 question was to write down algebraic specification of Binary search tree
1 question was to write intrinsic type available in VDM
2 questions were related to petri net. One of them was consumer producer problem.
Download Click here