عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
Verifying concurrent processes using temporal logic
پدید آورنده
Hailpern, Brent Tzion
موضوع
، Parallel processing )Electronic computers(,، Computer programs - Verification
رده
QA
76
.
L4
v
.
129
کتابخانه
المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان
محل استقرار
استان:
کرمان
ـ شهر:
کرمان
تماس با کتابخانه :
03433257204
English
Verifying concurrent processes using temporal logic
Berlin, New York
Springer-Verlag
1982
viii, 208 p. : ill. ; 25 cm
Lecture notes in computer science, 921
Bibliography: p. 203-208
Bibliography: p. )203(-208
Includes index
Brent T. Hailpern
1
، Parallel processing )Electronic computers(
، Computer programs - Verification
QA
76
.
L4
v
.
129
CA
001
.
64/2
5591-
Hailpern, Brent Tzion
AU
TI
SE
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح