دانلود کتاب 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 مجموعه مقالات |
دانلود کتاب
جزییات کتاب
درباره نویسنده
![](https://upload.wikimedia.org/wikipedia/commons/thumb/a/a0/Tonya_harding_mac_club_1994_crop.jpg/41px-Tonya_harding_mac_club_1994_crop.jpg)