Formal Verification of Structurally Complex Multipliers
Mahzoon, Alireza
Grosse, Daniel
Drechsler, Rolf
- 出版社:Springer, Berlin; Springer International Publishing;
- 出版年月:2023年 00月
- ISBN:9783031245701
- 装丁:HRD
-
装丁について
- 版次:1st ed. 2023. 2023. xiii