9783642322112
IR
EN-39946
انگلیسی
IR
Based Program Synthesis and Transformation-Logic
[Book]
/ n VidalعGerm
fa
Springer
, 2012.
Electronic
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
E-BOOK
n VidalعGerm
ایران
Logic-Based Program Synthesis and Transformation
محرمانه
محرمانه
973662.pdf
متن
old catalog
e
BL
1
a
Y
