دانلود کتاب Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings
by Jagadish Suryadevara
|
عنوان فارسی: مهندسی نرم افزار و روشهای رسمی : 11TH کنفرانس بین المللی، SEFM 2013 ، مادرید، اسپانیا ، سپتامبر 25-27، 2013. مجموعه مقالات |