9783642540134
IR
EN-11848
انگلیسی
IR
Verification, Model Checking, and Abstract Interpretation
[Book]
/ Kenneth L. McMillan, Xavier Rival
Springer
, 2014.
Electronic
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
E-BOOK
Kenneth L. McMillan
ایران
Verification, Model Checking, and Abstract Interpretation
عادی
محرمانه
977803.pdf
متن
old catalog
e
BL
1
a
Y
