دانلود کتاب Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings
by Joost-Pieter Katoen (auth.)
|
عنوان فارسی: روش رسمی برای سیستم های بحرانی صنعتی: 16 بین المللی کارگاه، FMICS 2011، ترنتو، ایتالیا، 29-30 اوت، 2011. مجموعه مقالات |