19, 2010. Proceedings-Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17
نام عام مواد
[Book]
نام نخستين پديدآور
/ Kokichi Futatsugi (auth.), Jin Song Dong, Huibiao Zhu (eds.)
وضعیت نشر و پخش و غیره
نام ناشر، پخش کننده و غيره
Verlag Berlin Heidelberg-Springer
تاریخ نشرو بخش و غیره
, 2010.
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
Electronic
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
رده بندی کنگره
شماره رده
E-BOOK
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Kokichi Futatsugi (auth.)
مبدا اصلی
کشور
ایران
دسترسی و محل الکترونیکی
نام ميزبان
Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings