Unbounded-2-bounded a two-phase approximation for model checking unbounded until properties of probabilistic systems
رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 1145 ) :: Unbounded-2-bounded a two-phase approximation for model checking unbounded until properties of probabilistic systems رسالة ماجستير - تحميل مباشر
تفاصيل كتاب Unbounded-2-bounded a two-phase approximation for model checking unbounded until properties of probabilistic systems
التصنيف: رسائل ماجستير ودكتوراه -> علم الحاسوب
حجم الملف: 1,114 KB
نوع الملف: pdf
أضيف بواسطة: Y4$$3R N3T
بتاريخ: 19-08-2018
عدد مرات التحميل: 2
مرات الزيارة: 338
عرض جميع الكتب التي أضيفت بواسطة: Y4$$3R N3T
