دانلود کتاب Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004. Proceedings
by Wayne Wolf (auth.)
|
عنوان فارسی: روش های رسمی در طراحی به کمک کامپیوتر: 5 کنفرانس بین المللی، FMCAD 2004، آستین، تگزاس، ایالات متحده، نوامبر 15-17، 2004. مجموعه مقالات |