دانلود کتاب 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 مجموعه مقالات |


دانلود کتاب

جزییات کتاب
درباره نویسنده
این کتاب رو مطالعه کردید؟ نظر شما چیست؟