دانلود کتاب FME 2002:Formal Methods—Getting IT Right: International Symposium of Formal Methods Europe Copenhagen, Denmark, July 22–24, 2002 Proceedings
by Natarajan Shankar (auth.)
|
عنوان فارسی: FME 2002: رسمی روش-گرفتن آن را حق: سمپوزیوم بین المللی رسمی روش اروپا کپنهاگ، دانمارک، ژوئیه 22-24، 2002 مقالات |