دانلود کتاب Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
by Cliff B. Jones (auth.)
|
عنوان فارسی: مهندسی نرم افزار و روشهای رسمی: 10 کنفرانس بین المللی، SEFM 2012، Thessaloniki، یونان، اکتبر 1-5، 2012. مجموعه مقالات |