Alireza Mahzoon
Polynomial Formal Verification of Arithmetic Circuits
Alireza Mahzoon, Rolf Drechsler · 2024
פרטי הספר
- שנה
- 2024
- שפה
- English
- הוצאה
- Now Publishers
- מהדורות
- 1
- עמודים
- 86
- ISBN
- 9781638284048
מקור הנתונים: Wikidata
Alireza Mahzoon, Rolf Drechsler · 2024
מקור הנתונים: Wikidata