عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
Formal Aspects of Component Software
پدید آورنده
\ [Edited by] Christiano Braga, Peter Csaba Ölveczky
موضوع
Formal methods (Computer science) -- Congresses.,Component software -- Congresses.,روشهای صوری (کامپیوتر) -- کنگره ها ,نرمافزار مولفهای -- کنگره ها
رده
QA
76
.
9
.
F67
2016
E-Book
,
کتابخانه
کتابخانه زبانهای خارجی و منابع اسلامی
محل استقرار
استان:
قم
ـ شهر:
قم
تماس با کتابخانه :
37839111
:9783319289335
12317
انگلیسی
Formal Aspects of Component Software
[electronic resources]
: 12th International Conference, FACS 2015 Niterói, Brazil, October 14–16, 2015 Revised Selected Papers
\ [Edited by] Christiano Braga, Peter Csaba Ölveczky
New York
: Springer
, 2016.
1601
x, 329 p.
:ill.
Lecture Notes in Computer Science
; 9539
Formal methods (Computer science) -- Congresses.
Component software -- Congresses.
روشهای صوری (کامپیوتر) -- کنگره ها
نرمافزار مولفهای -- کنگره ها
QA
76
.
9
.
F67
2016
E-Book
,
Braga, Christiano
Ölveczky, Peter Csaba
FACS (Symposium) (12th : 2015 : Niterói, Brazil)
ایران
20170104111423.0
rda
9783319289335.pdf
https://www.loc.gov/catdir/enhancements/fy1611/2015960400-d.html
https://www.loc.gov/catdir/enhancements/fy1611/2015960400-t.html
BL
279177
1
Y
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح