Formal verification: an essential toolkit for modern vlsi design
Auteur :
Seligman, Erik / Schubert, Tom / Kumar, M V Achutha Kiran
Éditeur :
Elsevier Science & Technology
ISBN :
9780323956123
Date de publication :
26 mai 2023
Dimensions :
23,5 x 19,1 cm
Poids :
880 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne