عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
Trends 98 :-FM--Applied formal methods
پدید آورنده
موضوع
Formal methods (Computer science) ; Congresses. ;
رده
کتابخانه
كتابخانه مركزي و مركز اسناد دانشگاه مازندران
محل استقرار
استان:
مازندران
ـ شهر:
بابلسر
تماس با کتابخانه :
62
-
35302861
-
011
oldebook39004
eng
Trends 98 :-FM--Applied formal methods
Berlin ;New York :
: Springer,
, 1999.
Print
Formal methods (Computer science) ; Congresses. ;
Hutter, Dieter. ;
old catalog
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح