عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
Software Engineering and Formal Methods
پدید آورنده
\ [edited by] Carlos Canal, Akram Idani.
موضوع
Software engineering -- Congresses.,Formal methods (Computer science) -- Congresses.,نرمافزار -- مهندسی-- کنگرهها,روشهای صوری (کامپیوتر) -- کنگره ها
رده
QA
76
.
758
.
S62
2015
E-Book
,
کتابخانه
کتابخانه زبانهای خارجی و منابع اسلامی
محل استقرار
استان:
قم
ـ شهر:
قم
تماس با کتابخانه :
37839111
:9783319152004
12546
انگلیسی
Software Engineering and Formal Methods
[electronic resources]
: seem 2014 collocated workshops: hofm, safome, opencert, mokmasd, ws-fmds, grenoble, france, september 1-2, 2014, revised selected papers
\ [edited by] Carlos Canal, Akram Idani.
New York
: Springer
, 2015.
1502
xxvii,405 p.
:ill
Lecture notes in computer science
; 8938
Index
Bibliography
Software engineering -- Congresses.
Formal methods (Computer science) -- Congresses.
نرمافزار -- مهندسی-- کنگرهها
روشهای صوری (کامپیوتر) -- کنگره ها
QA
76
.
758
.
S62
2015
E-Book
,
Canal, Carlos
Idani, Akram
International Conference on Software Engineering and Formal Methods (12th : 2014 : Grenoble, France)
ایران
20160929142210.0
rda
9783319152004.pdf
http://www.loc.gov/catdir/enhancements/fy1504/2014960220-d.html
http://www.loc.gov/catdir/enhancements/fy1508/2014960220-t.html
BL
279177
1
Y
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح