Formal Verification: An Essential Toolkit for Modern VLSI Design, 2ed Dublin Core Títol Formal Verification: An Essential Toolkit for Modern VLSI Design, 2ed Autor Erik Seligman Matèria Engineering Physical Sciences and Engineering Editor Elsevier Data de publicació 2023 Identificador 9780323956123 Font https://www.sciencedirect.com/science/book/9780323956123 Etiquetes Engineering, Physical Sciences and Engineering Col·lecció Physical Sciences and Engineering ← ítem anterior Ítem següent →