دانلود کتاب Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings

روش های رسمی برای سیستم های انتقادی صنعتی: چهاردهمین کارگاه بین المللی ، FMICS 2009 ، آیندهوون ، هلند ، 2-3 نوامبر 2009. مجموعه مقالات

زبان : English

نویسندگان : Dino Distefano (auth.), María Alpuente, Byron Cook, Christophe Joubert (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2009

ISBN (شابک) : 3642045693, 9783642045691

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

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

تعداد صفحات : 213[222]

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

فرمت کتاب : pdf

قیمت : 36000 تومان