Syeda Hira Taqdees <br/><br/>
Formalization of laplace transform using the multivariable calculus theory of HOL-Light 

 - Islamabad  NUST-SEECS  2013 
 - 48  25cm  CD ROM 
<br/><br/> Supervisors: Dr. Osman Hasan, Dr. Awais Mehmood Kamboh, Dr. Ammar Hasan, Dr. Rehan Hafiz 
<br/><br/><label>Dewey Class. No.: </label>MSEE-3 HIR