دانلود کتاب Integrated Formal Methods: Third International Conference, IFM 2002 Turku, Finland, May 15–18, 2002 Proceedings
by Eran Gery
|
عنوان فارسی: روش های رسمی مجتمع: سومین کنفرانس بین المللی، IFM 2002 تورکو، فنلاند، 15-18 مه، 2002 مقالات |