• رقم التسجيل : 272843
  
• عدد الصفحات+تفاصيل: 448
  
• اللغة: en
  
• نوع المادة: book
  
• رقم التصنيف: 001.6408 tl
  
• العنوان: Temporal logic in specification
  
• مكان النشر والناشر: New York Springer-Verlag
  
• تاريخ النشر: 1989
  
• رؤوس الموضوعات: Computers-Collection
  

 

 

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

نسخة تجريبية

 

 

 

 

 

 

 

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