Question Number 2..[4+4]: a) If S is Y=X+1; Z=Y-3 and Q is Z=10 then compute the weakest precondition We( SQ). Also, find the weakest precondition We(S,Q) for the following two conditional statements: If (X=9} If (X!=0) Z=X: else Z=X+1; {Z>0} a) Use algebraic specification techniques to define Constructors, Inspectors and Axioms for Hash table data structure". Write all possible and impossible Axioms on given data structure. Question Number 2..[4+4]: a) If S is Y=X+1; Z=Y-3 and Q is Z=10 then compute the weakest precondition We( SQ). Also, find the weakest precondition We(S,Q) for the following two conditional statements: If (X=9} If (X!=0) Z=X: else Z=X+1; {Z>0} a) Use algebraic specification techniques to define Constructors, Inspectors and Axioms for Hash table data structure". Write all possible and impossible Axioms on given data structure