IR
EN-33130
انگلیسی
IR
4, 2010. Proceedings-Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1
[Book]
/ Chris Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles Shelton (auth.), Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rou, Oleg Sokolsky, Nikolai Tillmann (eds.)
Verlag Berlin Heidelberg-Springer
, 2010.
Electronic
ENGINEERING (uncategorised)&COMPUTER SCIENCE
E-BOOK
Chris Ackermann
ایران
Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
عادی
محرمانه
1594137.pdf
متن
old catalog
e
BL
1
a
Y
