عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
Applied Formal Methods FM-Trends 98
پدید آورنده
\ [Edited by] Dieter Hutter...[et.al]
موضوع
Formal methods (Computer science) -- Congresses.,روشهای صوری (کامپیوتر) -- کنگره ها
رده
E-Book
,
کتابخانه
کتابخانه زبانهای خارجی و منابع اسلامی
محل استقرار
استان:
قم
ـ شهر:
قم
تماس با کتابخانه :
37839111
:3540664629
27398
انگلیسی
Applied Formal Methods FM-Trends 98
[electronic resources]
: International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7-9, 1998 Proceedings
\ [Edited by] Dieter Hutter...[et.al]
Berlin
: Springer
, 1999
xi, [379] p
:ill
Lecture notes in computer science
; 1641
Index
Bibliography
Formal methods (Computer science) -- Congresses.
روشهای صوری (کامپیوتر) -- کنگره ها
E-Book
,
Hutter, Dieter.
International Workshop on Current Trends in Applied Formal Methods (1998 : Boppard, Germany)
ایران
3540664629.pdf
p
BL
279177
1
a
N
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح