عنوان
پدید آورنده
موضوع
رده
QA 76.758 .S62 2015 E-Book ,
QA
76
.
758
.
S62
2015
E-Book
,
کتابخانه
محل استقرار
:9783319152004
12546
انگلیسی
Software Engineering and Formal Methods
[electronic resources]
: seem 2014 collocated workshops: hofm, safome, opencert, mokmasd, ws-fmds, grenoble, france, september 1-2, 2014, revised selected papers
\ [edited by] Carlos Canal, Akram Idani.
New York
: Springer
, 2015.
1502
xxvii,405 p.
:ill
Lecture notes in computer science
; 8938
Index
Bibliography
Software engineering -- Congresses.
Formal methods (Computer science) -- Congresses.
نرمافزار -- مهندسی-- کنگرهها
روشهای صوری (کامپیوتر) -- کنگره ها
QA
76
.
758
.
S62
2015
E-Book
,
Canal, Carlos
Idani, Akram
International Conference on Software Engineering and Formal Methods (12th : 2014 : Grenoble, France)
ایران
20160929142210.0
rda
9783319152004.pdf
http://www.loc.gov/catdir/enhancements/fy1504/2014960220-d.html
http://www.loc.gov/catdir/enhancements/fy1508/2014960220-t.html
BL
279177
1
Y
