9783642277054
IR
EN-39587
انگلیسی
IR
Verified Software: Theories, Tools, Experiments
[Book]
/ ller, Andreas PodelskiیRajeev Joshi, Peter M
fa
Springer
, 2012.
Electronic
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
E-BOOK
Rajeev Joshi
ایران
Verified Software: Theories, Tools, Experiments
محرمانه
محرمانه
973137.pdf
متن
old catalog
e
BL
1
a
Y
