إعـــــــلان

تقليص
لا يوجد إعلان حتى الآن.

Logic in Computer Science: Modelling and Reasoning about Systems

تقليص
X
تقليص
 
  • الصفحة لـ 1
  • تصفية - فلترة
  • الوقت
  • عرض
إلغاء تحديد الكل
مشاركات جديدة
السابق template التالي
  • #1

    Logic in Computer Science: Modelling and Reasoning about Systems

    This is an excellent textbook on logic and formal methods which is very suitable for computer science students… discusses the whole range from logic to applications: propositional and predicate logic, temporal logic and more generally model logic, program verification, model checking, and symbolic model checking using binary decision diagrams … As any good textbook, this [...]

    more...
    الكلمات الدلالية (Tags): لا يوجد
السابق template التالي

مواضيع مشابهة

تقليص
المواضيع إحصائيات آخر مشاركة
We're running out of internet addresses بواسطة سعود العتيبي
أنشئ بواسطة سعود العتيبي, 24-07-2010, 02:00
ردود 0
3,127 مشاهدات
0 معجبون
 آخر مشاركة سعود العتيبي
بواسطة سعود العتيبي
24-07-2010, 02:00  
Oracle Announces Update to Oracle SOA Suite 11g بواسطة سعود العتيبي
أنشئ بواسطة سعود العتيبي, 24-07-2010, 02:00
ردود 0
7,165 مشاهدات
0 معجبون
 آخر مشاركة سعود العتيبي
بواسطة سعود العتيبي
24-07-2010, 02:00  
App required for free iPhone 4 case بواسطة سعود العتيبي
أنشئ بواسطة سعود العتيبي, 24-07-2010, 02:00
ردود 0
3,101 مشاهدات
0 معجبون
 آخر مشاركة سعود العتيبي
بواسطة سعود العتيبي
24-07-2010, 02:00  
India unveils $35 laptop prototype بواسطة سعود العتيبي
أنشئ بواسطة سعود العتيبي, 24-07-2010, 02:00
ردود 0
4,544 مشاهدات
0 معجبون
 آخر مشاركة سعود العتيبي
بواسطة سعود العتيبي
24-07-2010, 02:00  
Oracle Tuxedo Virtual Developer Day بواسطة سعود العتيبي
أنشئ بواسطة سعود العتيبي, 24-07-2010, 02:00
ردود 0
3,099 مشاهدات
0 معجبون
 آخر مشاركة سعود العتيبي
بواسطة سعود العتيبي
24-07-2010, 02:00  
مشاهدة الكل
يعمل...
X