• رقم التسجيل : 272843
  
• نوع المادة: book
  
• رقم التصنيف: 001 6408 tl
  
• المؤلف: B.banieqbal
  
• العنوان: temporal logic in specification
  
• مكان النشر والناشر: new york:springer-verlag
  
• رؤوس المواضيع: computers-collection
  
• عدد النسخ: 01
  
• تاريخ النشر: 1989
  
• عدد الصفحات: 398p
  
• اللغة: en
  

 

 

مساعدة - بحث جديد - الصفحة الرئيسية - English

نسخة تجريبية

 

 

 

 

 

 

 

© جميع حقوق النشر محفوظة لجامعة بغداد / الامانة العامة للمكتبة المركزية 2012