دانلود کتاب FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings
by Daniel Jackson (auth.)
|
عنوان فارسی: FME 2001: روش های رسمی برای افزایش بهره وری نرم افزار: سمپوزیوم بین المللی روش های رسمی اروپا برلین، آلمان، 12-16 مارس، 2001 مقالات |