Modeling and Verifying the Software Dynamic Behavior Using the Formalism of CPN/ Mahmoud Abd El Hakeem Mohamed Al Eryan
Material type: TextLanguage: English Summary language: English Publication details: 2012Description: p. ill. 21 cmSubject(s): Genre/Form: DDC classification:- 627
Item type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
Thesis | Main library | 627/ M.E.M 2012 (Browse shelf(Opens below)) | Not For Loan |
Supervisor: Mahmoud Allam
Thesis (M.A.)—Nile University, Egypt, 2012 .
"Includes bibliographical references"
Contents:
Abstract:
Text in English, abstracts in English.
There are no comments on this title.