عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
Computer aided verification :
پدید آورنده
موضوع
Computer software ; Verification ; Congresses. ;
رده
کتابخانه
كتابخانه مركزي و مركز اسناد دانشگاه مازندران
محل استقرار
استان:
مازندران
ـ شهر:
بابلسر
تماس با کتابخانه :
62
-
35302861
-
011
ebl202221739
eng
Computer aided verification :
:23, 2021 : proceedings.-33rd international conference, CAV 2021, virtual event, July 20
Springer,
, 2021.
e
Computer software ; Verification ; Congresses. ;
Silva, Alexandra ; (Alexandra Martins da), ;
old catalog
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح