عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
Formal Methods
پدید آورنده
\ [edited by] Christiano Braga, Narciso Marti-Oliet.
موضوع
Formal methods (Computer science) -- Congresses.,روشهای صوری (کامپیوتر) -- کنگره ها
رده
.
F67
2015
E-Book
,
کتابخانه
کتابخانه زبانهای خارجی و منابع اسلامی
محل استقرار
استان:
قم
ـ شهر:
قم
تماس با کتابخانه :
37839111
:9783319150741
12543
انگلیسی
Formal Methods
[electronic resources]
: 17th Brazilian Symposium, SBMF 2014 Maceió, AL, Brazil, September 29 – October 1, 2014 Proceedings
\ [edited by] Christiano Braga, Narciso Marti-Oliet.
New York
: Springer
, 2015.
1502
viii,[179] p.
Lecture Notes in Computer Science
; 8941
Index
Bibliography
Formal methods (Computer science) -- Congresses.
روشهای صوری (کامپیوتر) -- کنگره ها
.
F67
2015
E-Book
,
Braga, Christiano
Martí-Oliet, Narciso
Brazilian Symposium on Formal Methods (17th : 2014 : Maceió, Brazil)
ایران
20160929090655.0
rda
9783319150741.pdf
http://www.loc.gov/catdir/enhancements/fy1504/2014960283-d.html
http://www.loc.gov/catdir/enhancements/fy1504/2014960283-t.html
BL
279177
1
Y
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح