Rashid, Adnan <br/><br/>
Formalization of transform methods using higher-order-logic theorem proving / 
Adnan Rashid  
 - Islamabad:  SEECS - NUST,  2019. 
 - xvi, 122 p. : ill. ;  30cm. 
<br/><br/><label>ISBN: </label>
<br/><br/><label>Subjects--Personal Names: </label><br/>Dr. Osman Hasan
<br/><br/><label>Subjects--Topical Terms: </label><br/>PhD Thesis-Information Technology 
<br/><br/><label>Dewey Class. No.: </label>200