دانلود کتاب 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. مجموعه مقالات |


دانلود کتاب

جزییات کتاب
این کتاب رو مطالعه کردید؟ نظر شما چیست؟