عنوان
پدید آورنده
موضوع
رده
QA 76.9 .F6 2015 E-Book ,
QA
76
.
9
.
F6
2015
E-Book
,
کتابخانه
محل استقرار
:9783319194578
13509
انگلیسی
Formal Methods for Industrial Critical Systems
[electronic resources]
: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015, Proceedings
\ Manuel Núñez , Matthias Güdemann (Eds.)
Cham
: Springer
, 2015
xvi, 213 p
:ill
Lecture notes in computer science
; 9128
Index
Bibliography
Formal methods (Computer science) -- Congresses.
Software engineering -- Congresses
Computer programs -- Verification -- Congresses.
روشهای صوری (کامپیوتر) -- کنگره ها
نرمافزار -- مهندسی-- کنگرهها
برنامههای کامپیوتری -- راستیآزمایی -- کنگره ها
QA
76
.
9
.
F6
2015
E-Book
,
Núñez, Manuel
Güdemann, Matthias
International Workshop on Formal Methods for Industrial Critical Systems (20th : 2015 : Oslo, Norway)
ایران
9783319194578.pdf
p
BL
279177
1
a
N
