Sharjah Library – Book : Software Engineering and Formal Methods