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

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

Formal Methods: State of the Art and New Directions

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

  • Formal Methods: State of the Art and New Directions

    Paperback: 273 pages Publisher: Springer; 1 edition (December 16, 2009) Language: English ISBN-10: 1848827350 ISBN-13: 978-1848827356 Format: PDF Description: The last decade has witnessed a modest but sustained increase in researching and applying formal methods. A number of well cited success stories are now available and provide strong evidence that formal methods can be effective and deployed in industrial-scale applications. Through fundamental [...]

    more...

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

تقليص

المواضيع إحصائيات آخر مشاركة
أنشئ بواسطة سعود العتيبي, 24-07-2010, 02:00
ردود 0
3,027 مشاهدات
0 معجبون
آخر مشاركة سعود العتيبي  
أنشئ بواسطة سعود العتيبي, 24-07-2010, 02:00
ردود 0
2,091 مشاهدات
0 معجبون
آخر مشاركة سعود العتيبي  
أنشئ بواسطة سعود العتيبي, 24-07-2010, 02:00
ردود 0
2,910 مشاهدات
0 معجبون
آخر مشاركة سعود العتيبي  
أنشئ بواسطة سعود العتيبي, 24-07-2010, 02:00
ردود 0
1,337 مشاهدات
0 معجبون
آخر مشاركة سعود العتيبي  
أنشئ بواسطة سعود العتيبي, 24-07-2010, 02:00
ردود 0
3,516 مشاهدات
0 معجبون
آخر مشاركة سعود العتيبي  
يعمل...
X