عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
Automated theorem proving in software engineering
پدید آورنده
Schumann, Johann M.
موضوع
، Software engineering,، Automatic theorem proving
رده
QA
76
.
758
.
S38
2001
کتابخانه
كتابخانه مركزي دانشگاه صنعتي شريف
محل استقرار
استان:
طهران
ـ شهر:
طهران
تماس با کتابخانه :
66005817
-
021
127942
130945
زمستان۰۸
English
)91(
Schumann, Johann M.
1960-
Automated theorem proving in software engineering
Berlin
Springer
2001
xiv, 228 p.: ill.; 24 cm
Includes bibliographical references and index
، Software engineering
، Automatic theorem proving
QA
76
.
758
.
S38
2001
AU
Johann M. Schumann; foreword by Donald Loveland
TI
129
129
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح