عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings
پدید آورنده
موضوع
، Computer network protocols-- Congresses
رده
TK
5105
.
5
.
A97
1990
کتابخانه
كتابخانه مركزي دانشگاه صنعتي شريف
محل استقرار
استان:
طهران
ـ شهر:
طهران
تماس با کتابخانه :
66005817
-
021
91702
آخر۲۷
English
)20(
Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings
Berlin, New York
Springer-Verlag
1990
vii, 382 p. : ill. ; 25 cm
Lecture notes in computer science, 704
Includes bibliographical references
، Computer network protocols-- Congresses
TK
5105
.
5
.
A97
1990
TI
J. Sifakis )Ed.(
AU .J ,sikafiS 1946-
SE
02
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح