• الرئیسیة
  • البحث المتقدم
  • قائمة المکتبات
  • حول الموقع
  • اتصل بنا
  • نشأة

عنوان
An Introduction to Practical Formal Methods Using Temporal Logic

پدید آورنده
/ Fisher

موضوع
ELECTRONIC&ENGINEERING, ELECTRICAL

رده
E-BOOK

کتابخانه
المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية

محل استقرار
استان: أذربایجان الشرقیة ـ شهر:

المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية

تماس با کتابخانه : 04133443834

9781119991489

IR
EN-41004

انگلیسی

IR

An Introduction to Practical Formal Methods Using Temporal Logic
[Book]
/ Fisher

Wiley
, 2011.

Electronic

ELECTRONIC&ENGINEERING, ELECTRICAL

E-BOOK

Fisher

ایران

An Introduction to Practical Formal Methods Using Temporal Logic
محرمانه
محرمانه
192632.pdf
متن

old catalog

e

BL
1

a
Y

الاقتراح / اعلان الخلل

تحذیر! دقق في تسجیل المعلومات
ارسال عودة
تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال