Note: This guide provides only information about locating books, articles, dissertations and theses those completed at other universities, however, Philadelphia University does not contain the full text itself nor its contents in electronic form nor its physical form.
يقدم هذا الدليل معلومات حول مكان الكتب، والأبحاث، والأطروحات والرسائل الجامعية تلك التي أنجزت في الجامعات الأخرى مع العلم بأن جامعة فيلادلفيا لا تحتوي على نسخة ورقية او الكترونية من هذا المصدر

Formal verification of safety critical systems for Abd El Maksoud Samah Hassan aly

  • JGLOBAL_PDF

Formal verification of safety critical systems for Abd El Maksoud Samah Hassan aly

Material TypeThesisLanguageEnglish
TitleFormal verification of safety critical systems for Abd El Maksoud Samah Hassan alyAuthor(S)Abd El Maksoud Samah Hassan aly
VolSamah Hassan aly Abd El Maksoud Publication Date2011
Responsible AuthorshipSamah Hassan aly Abd El Maksoud;supervised by Ayman Mohamed Hassan WahbaPhysical Descriptionix 147 p :
CategoryEnglish BooksSubjectVerification
Cataloging Sourcea)Faculty of Medicine Ain Shams UniversityISBN
DDC No.11511795