دانلود کتاب Formal Methods in Computer-Aided Design: Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings
by Kenneth L. McMillan (auth.)
|
عنوان فارسی: روشهای رسمی در طراحی به کمک رایانه: دومین کنفرانس بین المللی ، FMCAD 98 Palo Alto ، CA ، USA ، 4 تا 6 نوامبر 1998 مجموعه مقالات |