9783662452318
IR
EN-12126
انگلیسی
IR
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
[Book]
/ Tiziana Margaria, Bernhard Steffen
Springer
, 2014.
Electronic
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
E-BOOK
Tiziana Margaria
ایران
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
عادی
محرمانه
999837.pdf
متن
old catalog
e
BL
1
a
Y
