دانلود کتاب Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings
by Dino Distefano (auth.)
|
عنوان فارسی: روش رسمی برای سیستم های بحرانی صنعتی: 14 بین المللی کارگاه، FMICS 2009، آیندهوون، هلند، 02-03 نوامبر، 2009. مجموعه مقالات |