عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings
پدید آورنده
Matthew Dwyer )ed.(
موضوع
Congresses ، Computer software -- Verification,Congresses ، SPIN )Computer file(
رده
QA
76
.
L28
Vol
.
2057
کتابخانه
محل استقرار
استان:
طهران
ـ شهر:
طهران
تماس با کتابخانه :
22291812
-
021
Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings
2001 : Toronto, Ont.
Berlin
Springer-Verlag
c2001
x, 311 p.: ill., tables
Lecture notes in computer science; 7502
Includes bibliographies
ISBN: 3540421246
Matthew Dwyer )ed.(
1
Congresses ، Computer software -- Verification
Congresses ، SPIN )Computer file(
QA
76
.
L28
Vol
.
2057
AU
AU Dwyer, Matthew B., 1963-
TI
SE
SPIN
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح