IR
EN-27343
انگلیسی
IR
25, 2011. Proceedings-Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23
[Book]
/ David L. Dill (auth.), Ranjit Jhala, David Schmidt (eds.)
Verlag Berlin Heidelberg-Springer
, 2011.
Electronic
COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
E-BOOK
David L. Dill (auth.)
ایران
Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings
عادی
محرمانه
1643139.pdf
متن
old catalog
e
BL
1
a
Y
