عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
Automatic verification of sequential infinite-state processes
پدید آورنده
Burkart, Olaf
موضوع
، Computer software -- Verification,، Software engineering
رده
QA
76
.
L28
Vol
.
1354
کتابخانه
محل استقرار
استان:
طهران
ـ شهر:
طهران
تماس با کتابخانه :
22291812
-
021
Automatic verification of sequential infinite-state processes
Berlin
Springer-Verlag
c1998
x, 163p.: ill., tables
Lecture notes in computer science; 4531
Bibliography: p. ]155[-159
ISBN: 3540601171
Olaf Burkart
1
، Computer software -- Verification
، Software engineering
QA
76
.
L28
Vol
.
1354
Burkart, Olaf
AU
TI
SE
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح