Formal Verification: An Essential Toolkit for Modern VLSI Design Autor Erik Seligman et al. 26 mai 2023 Paperback Preț: 551.91 lei 885.68 lei 5-7 săpt. -38%