نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
انتخاب زبان
فارسی
English
العربی
تعداد ۱ پاسخ غیر تکراری از ۱ پاسخ تکراری در مدت زمان ۰,۳۸ ثانیه یافت شد.
1. Model checking software
استناد
اطلاعات استناد دهی
BibTex (مخصوص کاربران)
RIS (مخصوص کاربران)
Endnote (مخصوص کاربران)
Refer (مخصوص کاربران)
Mark (مخصوص کتابخانه ها)
پدیدآورنده :
Klaus Havelund, Rupak Majumdar, Jens Palsberg (eds.)
کتابخانه:
مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی
(
قم
)
موضوع :
SPIN (Computer file),Computer software-- Verification, Congresses
رده :
»
1
«
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد