عنوان
پدید آورنده
موضوع
رده
QA 76.9 .F6 2015 E-Book ,
QA
76
.
9
.
F6
2015
E-Book
,
کتابخانه
محل استقرار
9783319175805
12173
انگلیسی
Formal Techniques for Safety-Critical Systems
[electronic resources]
Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers
[edited by] Cyrille Artho, Peter Csaba Olveczky.
Cham
Springer
2015.
1505
x, 255 p.
ill.
Communications in computer and information science
;476
Formal methods (Computer science) -- Congresses.
System safety -- Congresses.
Systems engineering -- Congresses.
روشهای صوری (کامپیوتر) -- کنگره ها
ایمنی سیستمها -- کنگره ها
مهندسی سیستم ها -- گنگره ها
QA
76
.
9
.
F6
2015
E-Book
,
ایران
20170103064222.0
rda
9783319175805.pdf
http://www.loc.gov/catdir/enhancements/fy1509/2015937953-t.html
http://www.loc.gov/catdir/enhancements/fy1509/2015937953-d.html
BL
279177
Y
