IR
EN-20858
انگلیسی
IR
16, 2010, Revised Selected Papers-es, Portugal, October 14ذFormal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimar
[Book]
/ s Soares Barbosa, Markus Lumpe (eds.)کSanjit A. Seshia (auth.), Lu
fa
Verlag Berlin Heidelberg-Springer
, 2012.
Electronic
ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
E-BOOK
Sanjit A. Seshia (auth.)
ایران
Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimar?ذes, Portugal, October 14-16, 2010, Revised Selected Papers
عادی
محرمانه
1506019.pdf
متن
old catalog
e
BL
1
a
Y
