دانلود کتاب Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
by Tony Hoare
|
عنوان فارسی: تایید شده نرم افزار: نظریه ها، ابزار، آزمایش: ابتدا IFIP TC 2 / مقالات WG 2.3 کنفرانس، VSTTE 2005، زوریخ، سوئیس، اکتبر 10-13، سال 2005، انتخاب تجدید نظر و بحث |