عنوان
پدید آورنده
موضوع
رده
QA 76.76 .T48 2015 E-Book ,
QA
76
.
76
.
T48
2015
E-Book
,
کتابخانه
محل استقرار
:9783319212142
13547
انگلیسی
Tests and Proofs
[electronic resources]
: 9th International Conference, TAP 2015 Held as Part of STAF 2015 L’Aquila, Italy, July 22–24, 2015 Proceedings
\ Jasmin Christian Blanchette, Nikolai Kosmatov (eds.)
Cham
: Springer
, 2015
xx, 209 p
Lecture Notes in Computer Science
; 9154
Index
Bibliography
Computer software -- Testing -- Congresses.
Computer software -- Verification -- Congresses.
نرمافزار -- آزمایش -- کنگره ها
نرمافزار -- راستیآزمایی -- کنگره ها
QA
76
.
76
.
T48
2015
E-Book
,
Blanchette, Jasmin Christian
Kosmatov, Nikolai
STAF (Federation of conferences) (2015 : L'Aquila, Italy)
ایران
9783319212142.pdf
p
BL
279177
1
a
N
