عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
FM 2015
پدید آورنده
\ Nikolaj Bjørner , Frank de Boer (Eds.)
موضوع
Formal methods (Computer science) -- Congresses.,Software engineering.,روشهای صوری (کامپیوتر) -- کنگره ها ,مهندسی نرم افزار
رده
QA
76
.
9
.
F57
2015
E-Book
,
کتابخانه
کتابخانه زبانهای خارجی و منابع اسلامی
محل استقرار
استان:
قم
ـ شهر:
قم
تماس با کتابخانه :
37839111
:9783319192482
12647
انگلیسی
FM 2015
[electronic resources]
: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
\ Nikolaj Bjørner , Frank de Boer (Eds.)
Cham
: Springer
, 2015
xvi,610 p.
:ill
Lecture Notes in Computer Science
; 9109
Index
Bibliography
Formal methods (Computer science) -- Congresses.
Software engineering.
روشهای صوری (کامپیوتر) -- کنگره ها
مهندسی نرم افزار
QA
76
.
9
.
F57
2015
E-Book
,
Björner, Nikolaj
Boer, Frank S. de
International Symposium of Formal Methods Europe (20th : 2015 : Oslo, Norway)
ایران
20161006
9783319192482.pdf
p
BL
279177
1
a
Y
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح