دانلود کتاب Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings

روشهای رسمی و مهندسی نرم افزار: نهمین کنفرانس بین المللی روشهای مهندسی رسمی ، ICFEM 2007 ، بوکا راتون ، فلوریدا ، ایالات متحده آمریکا ، 14-15 نوامبر 2007. مجموعه مقالات

زبان : English

نویسندگان : J. -R. Abrial (auth.), Michael Butler, Michael G. Hinchey, María M. Larrondo-Petrie (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2007

ISBN (شابک) : 3540766480, 9783540766483

ویرایش : [1 ed.]

سری : Lecture Notes in Computer Science 4789 : Programming and Software Engineering

تعداد صفحات : 387[395]

حجم : 4 مگابایت

فرمت کتاب : pdf

قیمت : 36000 تومان