عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
Formal methods
پدید آورنده
\ Márcio Cornélio , Bill Roscoe (Eds.)
موضوع
Formal methods (Computer science) -- Congresses.,Formal methods (Computer science),روشهای صوری (کامپیوتر) -- کنگره ها ,روشهای صوری (کامپیوتر)
رده
QA
76
.
9
.
F67
2016
E-Book
,
کتابخانه
کتابخانه زبانهای خارجی و منابع اسلامی
محل استقرار
استان:
قم
ـ شهر:
قم
تماس با کتابخانه :
37839111
:9783319294728
12520
انگلیسی
Formal methods
[electronic resources]
: 18th Brazilian Symposium, SBMF 2015 Belo Horizonte, Brazil, September 21–22, 2015 Proceedings
\ Márcio Cornélio , Bill Roscoe (Eds.)
New York
: Springer
, 2016.
1602
xviii,[194] p.
:ill
Lecture Notes in Computer Science
; 9526
Index
Bibliography
Formal methods (Computer science) -- Congresses.
Formal methods (Computer science)
روشهای صوری (کامپیوتر) -- کنگره ها
روشهای صوری (کامپیوتر)
QA
76
.
9
.
F67
2016
E-Book
,
Cornelio, Marcio
Roscoe, A. W
Brazilian Symposium on Formal Methods (18th : 2015 : Belo Horizonte, Brazil)
ایران
20191019111457.0
rda
9783319294728.pdf
https://www.loc.gov/catdir/enhancements/fy1611/2015960819-d.html
https://www.loc.gov/catdir/enhancements/fy1611/2015960819-t.html
BL
279177
1
Y
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح