عنوان
پدید آورنده
موضوع
رده
QA 76.758 .S62 2015 E-Book ,
QA
76
.
758
.
S62
2015
E-Book
,
کتابخانه
محل استقرار
:9783319229683
12669
انگلیسی
Software Engineering and Formal Methods
[electronic resources]
: 13th International Conference, SEFM 2015 York, UK, September 7–11, 2015 Proceedings
\ Radu Calinescu , Bernhard Rumpe (Eds.)
Cham
: Springer
, 2015
xi,[369] p.
:ill
Lecture notes in computer science
; 9276
Index
Bibliography
Software engineering
Mathematical Logic and Formal Languages.
Software engineering -- Congresses.
مهندسی نرم افزار
نرمافزار -- مهندسی-- کنگرهها
QA
76
.
758
.
S62
2015
E-Book
,
Calinescu, Radu C., 1968-
Rumpe, Bernhard
International Conference on Software Engineering and Formal Methods (13th : 2015 : York, England)
ایران
20191019
9783319229683.pdf
p
BL
279177
1
a
Y
