دانلود کتاب Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
by Radu Calinescu
|
عنوان فارسی: مهندسی نرم افزار و روشهای رسمی در تاریخ: 13th کنفرانس بین المللی، SEFM 2015، نیویورک، بریتانیا، 07-11 سپتامبر، 2015. مجموعه مقالات |