دانلود کتاب Integrated Formal Methods: Second International Conference, IFM 2000 Dagstuhl Castle, Germany, November 1–3,2000 Proceedings
by Tony Hoare (auth.)
|
عنوان فارسی: روش های رسمی مجتمع: دومین کنفرانس بین المللی، IFM 2000 Dagstuhl قلعه، آلمان، نوامبر 1-3،2000 مجموعه مقالات |