9783642340260
IR
EN-40129
انگلیسی
IR
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
[Book]
/ Tiziana Margaria, Bernhard Steffen
Springer
, 2012.
Electronic
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
E-BOOK
Tiziana Margaria
ایران
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
محرمانه
محرمانه
973932.pdf
متن
old catalog
e
BL
1
a
Y
