دانلود کتاب Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008, Revised Selected Papers
by Steven P. Miller (auth.)
|
عنوان فارسی: روش رسمی برای سیستم های بحرانی صنعتی در تاریخ: 13th بین المللی کارگاه، FMICS 2008، لاکویلا، ایتالیا، سپتامبر 15-16، 2008، تجدید نظر مقالات انتخاب شده |