عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
Formal Aspects of Component Software
پدید آورنده
\ [edited by] Ivan Lanese, Eric Madelaine.
موضوع
Formal methods (Computer science) -- Congresses.,Component software -- Congresses.,روشهای صوری (کامپیوتر) -- کنگره ها ,نرمافزار مولفهای -- کنگره ها
رده
QA
76
.
9
.
F67
2015
E-Book
,
کتابخانه
کتابخانه زبانهای خارجی و منابع اسلامی
محل استقرار
استان:
قم
ـ شهر:
قم
تماس با کتابخانه :
37839111
:9783319153162
12778
انگلیسی
Formal Aspects of Component Software
[electronic resources]
: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers
\ [edited by] Ivan Lanese, Eric Madelaine.
New York
: Springer
, 2015.
1502
x,[384] p.
:ill
Lecture notes in computer science
; 8997
Index
Bibliography
Formal methods (Computer science) -- Congresses.
Component software -- Congresses.
روشهای صوری (کامپیوتر) -- کنگره ها
نرمافزار مولفهای -- کنگره ها
QA
76
.
9
.
F67
2015
E-Book
,
Lanese, Ivan
Madelaine, Eric
FACS (Symposium) (11th : 2014 : Bertinoro, Italy)
ایران
20191020141445.0
rda
9783319153162.pdf
http://www.loc.gov/catdir/enhancements/fy1504/2015930087-d.html
http://www.loc.gov/catdir/enhancements/fy1508/2015930087-t.html
BL
279177
1
Y
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح