この商品を友人に教える:
Formal Equivalence Checking and Design Debugging - Frontiers in Electronic Testing Shi-Yu Huang Softcover reprint of the original 1st ed. 1998 edition
価格
¥ 30.147
税抜
遠隔倉庫からの取り寄せ
発送予定日 2026年1月12日 - 2026年1月22日
クリスマスプレゼントは1月31日まで返品可能です
iMusicのウィッシュリストに追加
他の形態でも入手可能：
Formal Equivalence Checking and Design Debugging - Frontiers in Electronic Testing
Shi-Yu Huang
Formal Equivalence Checking and Design Debugging covers two major topics in design verification: logic equivalence checking and design debugging.
247 pages, biography
| メディア | 書籍 Paperback Book (ソフトカバーで背表紙を接着した本) |
| リリース済み | 2012年9月30日 |
| ISBN13 | 9781461376064 |
| 出版社 | Springer-Verlag New York Inc. |
| ページ数 | 229 |
| 寸法 | 155 × 235 × 13 mm · 358 g |
| 言語 | 英語 |
![Cover for Shi-yu Huang · Stochastic Versus Fuzzy Approaches to Multiobjective Mathematical Programming under Uncertainty - Theory and Decision Library D: (Paperback Book) [Softcover reprint of the original 1st ed. 1990 edition] (2011)](https://imusic.b-cdn.net/images/item/original/490/9789401074490.jpg?shi-yu-huang-2011-stochastic-versus-fuzzy-approaches-to-multiobjective-mathematical-programming-under-uncertainty-theory-and-decision-library-d-paperback-book&class=scaled&v=1614696639)
![Cover for Shi-yu Huang · Intelligent Decision Support: Handbook of Applications and Advances of the Rough Sets Theory - Theory and Decision Library D: (Paperback Book) [Softcover reprint of hardcover 1st ed. 1992 edition] (2010)](https://imusic.b-cdn.net/images/item/original/944/9789048141944.jpg?shi-yu-huang-2010-intelligent-decision-support-handbook-of-applications-and-advances-of-the-rough-sets-theory-theory-and-decision-library-d-paperback-book&class=scaled&v=1438254720)