عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
Model checking software : 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings
پدید آورنده
Thomas Ball, Sriram K. Rajamani )eds.(
موضوع
Congresses ، Computer software -- Verification,Congresses ، SPIN )Computer file(
رده
QA
76
.
L28
Vol
.
2648
کتابخانه
محل استقرار
استان:
طهران
ـ شهر:
طهران
تماس با کتابخانه :
22291812
-
021
Model checking software : 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings
2003: Portland, Or.
Berlin
Springer-Verlag
2003
viii, 239p. : ill
Lecture notes in computer science; 8462
Includes bibliographies
ISBN: 3540401172
Thomas Ball, Sriram K. Rajamani )eds.(
1
Congresses ، Computer software -- Verification
Congresses ، SPIN )Computer file(
QA
76
.
L28
Vol
.
2648
AU
AU Ball, Thomas Jaudon, 1965-
AU Rajamani, Sriram K., 1970-
TI
SE
SPIN
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح