عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
Verification, Model Checking, and Abstract Interpretation
پدید آورنده
\ Deepak D’Souza, Akash Lal, Kim Guldstrand Larsen (Eds.)
موضوع
Computer software -- Verification -- Congresses.,Software engineering -- Congresses.,Logics and Meanings of Programs.,نرمافزار -- راستیآزمایی -- کنگره ها ,نرمافزار -- مهندسی-- کنگرهها
رده
QA
76
.
76
.
V47
2015
E-Book
,
کتابخانه
کتابخانه زبانهای خارجی و منابع اسلامی
محل استقرار
استان:
قم
ـ شهر:
قم
تماس با کتابخانه :
37839111
:9783662460801
12525
انگلیسی
Verification, Model Checking, and Abstract Interpretation
[electronic resources]
: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings
\ Deepak D’Souza, Akash Lal, Kim Guldstrand Larsen (Eds.)
New York
: Springer
, 2015.
1502
xviii,[467] p.
Lecture notes in computer science
; 8931
Index
Bibliography
Computer software -- Verification -- Congresses.
Software engineering -- Congresses.
Logics and Meanings of Programs.
نرمافزار -- راستیآزمایی -- کنگره ها
نرمافزار -- مهندسی-- کنگرهها
QA
76
.
76
.
V47
2015
E-Book
,
D'Souza, Deepak
Lal, Akash
Larsen, Kim Guldstrand
VMCAI (Conference) (16th : 2015 : Mumbai, India)
ایران
20160929101047.0
rda
9783662460801.pdf
BL
279177
1
Y
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح