عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
Computer aided verification
پدید آورنده
P. Madhusudan, Sanjit A. Seshia (eds.)
موضوع
Computer software-- Verification, Congresses
رده
QA76
.
76
.
V47
C38
2012eb
کتابخانه
کتابخانه مطالعات اسلامی به زبان های اروپایی
محل استقرار
استان:
قم
ـ شهر:
قم
تماس با کتابخانه :
32910706
-
025
3642314244 (electronic bk.)
9783642314247 (electronic bk.)
3642314236
9783642314230
b434685
Computer aided verification
[Book]
24th international conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 : proceedings /
P. Madhusudan, Sanjit A. Seshia (eds.)
New York :
Springer,
c2012
1 online resource (xvi, 789 p.) :
ill
Lecture notes in computer science,
LNCS sublibrary. SL 1, Theoretical computer science and general issues
7358
1611-3349 ;
Includes bibliographical references and index
Computer Aided Verification: 24th International Conference.
9783642314230
OhioLINK electronic book center (Online)
SpringerLink
CAV 2012
Computer software-- Verification, Congresses
004
.
24
22
QA76
.
76
.
V47
QA76
.
76
.
V47
C38
2012eb
C38
2012eb
Madhusudan, P
Seshia, Sanjit A
CAV (Conference)(24th :2012 :, Berkeley, Calif.)
20130102095453.0
مطالعه متن کتاب
[Book]
Y
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح