عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
Verified software: theories, tools, experiments
پدید آورنده
Rajeev Joshi, Peter Müller, Andreas Podelski (eds.)
موضوع
Computer software-- Verification, Congresses
رده
QA76
.
76
.
V47
V73
2012eb
کتابخانه
کتابخانه مطالعات اسلامی به زبان های اروپایی
محل استقرار
استان:
قم
ـ شهر:
قم
تماس با کتابخانه :
32910706
-
025
3642277055 (electronic bk.)
9783642277054 (electronic bk.)
3642277047
9783642277047
b434423
Verified software: theories, tools, experiments
[Book]
4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 : proceedings /
Rajeev Joshi, Peter Müller, Andreas Podelski (eds.)
New York :
Springer,
c2012
1 online resource (x, 325 p.) :
ill. (some col.)
Lecture notes in computer science,
LNCS sublibrary. SL 2, Programming and software engineering
7152
0302-9743 ;
Includes bibliographical references and index
Verified Software.
9783642277047
OhioLINK electronic book center (Online)
SpringerLink
VSTTE 2012
Computer software-- Verification, Congresses
005
.
1/4
23
QA76
.
76
.
V47
QA76
.
76
.
V47
V73
2012eb
V73
2012eb
Joshi, Rajeev
Müller, Peter,1972-
Podelski, Andreas
VSTTE (Conference)(4th :2012 :, Philadelphia, Pa.)
20120605145750.0
مطالعه متن کتاب
[Book]
Y
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح