Autorzy | |
Wydawnictwo | Elsevier Science & Technology |
Data wydania | 01/05/2023 |
Liczba stron | 508 |
Forma publikacji | książka w miękkiej oprawie |
Poziom zaawansowania | Dla profesjonalistów, specjalistów i badaczy naukowych |
Język | angielski |
ISBN | 9780323956123 |
Kategorie | Obwody i komponenty |
Formal Verification: An Essential Toolkit for Modern VLSI Design