01225nam0 22003013i 450 VAN0027614220240806101544.3970978303124571820240521d2023 |0itac50 baengCH|||| |||||Formal Verification of Structurally Complex MultipliersAlireza Mahzoon, Daniel Große, Rolf DrechslerChamSpringer2023XIII, 130 p.24 cmCHChamVANL001889MahzoonAlirezaVANV2288391335368DrechslerRolfVANV084298720580GroßeDanielVANV2029481244233Springer <editore>VANV108073650ITSOL20240906RICAhttps://doi.org/10.1007/978-3-031-24571-8E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA CENTRO DI SERVIZIO SBAVAN15NVAN00276142BIBLIOTECA CENTRO DI SERVIZIO SBA15CONS SBA EBOOK 13603 15EB 13603 20240521 Formal Verification of Structurally Complex Multipliers4164371UNICAMPANIA