دانلود کتاب Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings (Lecture ... / Programming and Software Engineering)
by María Alpuente
|
عنوان فارسی: روش رسمی برای سیستم های بحرانی صنعتی: 14 بین المللی کارگاه، FMICS 2009، آیندهوون، هلند، نوامبر 2-3، 2009، مجموعه مقالات (سخنرانی ... / برنامه نویسی و مهندسی نرم افزار) |