Formal Verification 2nd 版

An Essential Toolkit for Modern VLSI Design

Formal Verification: An Essential Toolkit for Modern VLSI Design 2nd 版 著者: Erik Seligman 出版 Academic Press. 以下のデジタルおよびeTextbook ISBNs: Formal Verification : 9780323956130, 0323956130 および 印刷版のISBNは 9780323956123, 0323956122. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

Formal Verification: An Essential Toolkit for Modern VLSI Design 2nd 版 著者: Erik Seligman 出版 Academic Press. 以下のデジタルおよびeTextbook ISBNs: Formal Verification : 9780323956130, 0323956130 および 印刷版のISBNは 9780323956123, 0323956122. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。