9783319121543
IR
EN-11622
انگلیسی
IR
Verified Software: Theories, Tools and Experiments
[Book]
/ Dimitra Giannakopoulou, Daniel Kroening
Springer
, 2014.
Electronic
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
E-BOOK
Dimitra Giannakopoulou
ایران
Verified Software: Theories, Tools and Experiments
عادی
محرمانه
931396.pdf
متن
old catalog
e
BL
1
a
Y
