عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
Software Engineering and Formal Methods
پدید آورنده
\ Domenico Bianculli , Radu Calinescu, Bernhard Rumpe (Eds.)
موضوع
Software engineering -- Congresses.,Formal methods (Computer science) -- Congresses.,Formal methods (Computer science),نرمافزار -- مهندسی-- کنگرهها,روشهای صوری (کامپیوتر) -- کنگره ها,(روشهای صوری (کامپیوتر
رده
QA
76
.
758
.
S62
2015
E-Book
,
کتابخانه
کتابخانه زبانهای خارجی و منابع اسلامی
محل استقرار
استان:
قم
ـ شهر:
قم
تماس با کتابخانه :
37839111
:9783662492239
13636
انگلیسی
Software Engineering and Formal Methods
[electronic resources]
: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART York, UK, September 7–8, 2015 Revised Selected Papers
\ Domenico Bianculli , Radu Calinescu, Bernhard Rumpe (Eds.)
Berlin
: Springer
, 2015
xxix, [324] p
Lecture Notes in Computer Science
; 9509
Index
Bibliography
Software engineering -- Congresses.
Formal methods (Computer science) -- Congresses.
Formal methods (Computer science)
نرمافزار -- مهندسی-- کنگرهها
روشهای صوری (کامپیوتر) -- کنگره ها
(روشهای صوری (کامپیوتر
QA
76
.
758
.
S62
2015
E-Book
,
Bianculli, Domenico
Calinescu, Radu C., 1968-
Rumpe, Bernhard
International Conference on Software Engineering and Formal Methods (13th : 2015 : York, England)
ایران
20170209
9783662492239.pdf
p
BL
279177
1
a
Y
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح