دانلود کتاب Theorem Provers in Circuit Design: Theory, Practice and Experience Second International Conference, TPCD '94 Bad Herrenalb, Germany, September 26–28, 1994 Proceedings
by Thomas Kropf (auth.)
|
عنوان فارسی: پیش بینی های قضیه در طراحی مدار: تئوری ، تمرین و تجربه دومین کنفرانس بین المللی ، TPCD '94 Bad Herrenalb ، آلمان ، 26-28 سپتامبر ، 1994 مجموعه مقالات |