Formal Verification: An Essential Toolkit for Modern VLSI Design 著者: Seligman, Erik; Schubert, Tom; Kumar, M V Achutha Kiran 出版 Morgan Kaufmann. 以下のデジタルおよびeTextbook ISBNs: Formal Verification: An Essential Toolkit for Modern VLSI Design : 9780128007273, 9780128008157, 0128008156 および 印刷版のISBNは 9780128007273, 0128007273. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。
Formal Verification: An Essential Toolkit for Modern VLSI Design 著者: Seligman, Erik; Schubert, Tom; Kumar, M V Achutha Kiran 出版 Morgan Kaufmann. 以下のデジタルおよびeTextbook ISBNs: Formal Verification: An Essential Toolkit for Modern VLSI Design : 9780128007273, 9780128008157, 0128008156 および 印刷版のISBNは 9780128007273, 0128007273. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。
