Mahmoud Abd El Hakeem Mohamed Al Eryan <br/><br/>
Modeling and Verifying the Software Dynamic Behavior Using the Formalism of CPN/ 
Mahmoud Abd El Hakeem Mohamed Al Eryan 
 -  2012 
 - p.   ill.   21 cm.  
<br/><br/>Supervisor: Mahmoud Allam 
<br/><br/>Thesis (M.A.)—Nile University, Egypt, 2012 . 
<br/><br/>"Includes bibliographical references" 
<br/><br/>Contents: 
<br/><br/> Abstract: 
<br/><br/><br/>Text in English, abstracts in English. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software Engineering
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Dissertation, Academic
<br/><br/><label>Dewey Class. No.: </label>627