9783642166129
IR
EN-45644
انگلیسی
IR
Runtime Verification
[Book]
/ Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rou, Oleg Sokolsky, Nikolai Tillmann
Springer
, 2010.
Electronic
COMPUTER SCIENCE, SOFTWARE ENGINEERING
E-BOOK
Howard Barringer
ایران
Runtime Verification
محرمانه
971921.pdf
متن
old catalog
e
BL
1
a
Y
