عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
Systems and software verification: model-checking techniques and tools
پدید آورنده
موضوع
، Computer systems-- Verification,، Computer software-- Verification
رده
QA
76
.
76
.
V47
.
S97
2001
کتابخانه
كتابخانه مركزي دانشگاه صنعتي شريف
محل استقرار
استان:
طهران
ـ شهر:
طهران
تماس با کتابخانه :
66005817
-
021
130960
130944
150732
تابستان۱۸
English
)91(
Systems and software verification: model-checking techniques and tools
Berlin
Springer
2001
xii, 190 p.: ill.; 24 cm
Includes bibliographical references and index
، Computer systems-- Verification
، Computer software-- Verification
QA
76
.
76
.
V47
.
S97
2001
TI
B. Berard ... ]et al.[
AU ecirtaeB ,drareB
129
129
131
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح