عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
Computer Aided Verification
پدید آورنده
\ Daniel Kroening , Corina S. Păsăreanu (Eds.)
موضوع
Computer software -- Verification -- Congresses.,Logics and Meanings of Programs.,نرمافزار -- راستیآزمایی -- کنگره ها
رده
QA
76
.
76
.
V47C6
2015
E-Book
,
کتابخانه
کتابخانه زبانهای خارجی و منابع اسلامی
محل استقرار
استان:
قم
ـ شهر:
قم
تماس با کتابخانه :
37839111
:9783319216898 (v.1)
:9783319216676 (v.2)
13603
انگلیسی
Computer Aided Verification
[electronic resources]
: 27th International Conference, CAV 2015 San Francisco, CA, USA, July 18–24, 2015 Proceedings
\ Daniel Kroening , Corina S. Păsăreanu (Eds.)
Cham
: Springer
, 2015-
v.
:ill
Lecture Notes in Computer Science
; 9207,9206
Cataloging based on vol 2
Index
Bibliography
Computer software -- Verification -- Congresses.
Logics and Meanings of Programs.
نرمافزار -- راستیآزمایی -- کنگره ها
QA
76
.
76
.
V47C6
2015
E-Book
,
Kroening, Daniel
کرونینگ، دانیل
Păsăreanu, Corina S
CAV (Conference) (27th : 2015 : San Francisco, Calif.)
ایران
20170129
9783319216898v1.pdf
9783319216676v2.pdf
p
BL
279177
1
a
Y
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح