LEADER 01225nam0 22003013i 450 
001 VAN00276142
005 20240806101544.397
017 70$20$a9783031245718
100   $a20240521d2023       |0itac50      ba
101   $aeng
102   $aCH
105   $a||||    |||||
200 1 $aFormal Verification of Structurally Complex Multipliers$fAlireza Mahzoon, Daniel Große, Rolf Drechsler
210   $aCham$cSpringer$d2023
215   $aXIII, 130 p.$d24 cm
620   $aCH$dCham$3VANL001889
700  1$aMahzoon$bAlireza$3VANV228839$01335368
701  1$aDrechsler$bRolf$3VANV084298$0720580
701  1$aGroße$bDaniel$3VANV202948$01244233
712   $aSpringer <editore>$3VANV108073$4650
801   $aIT$bSOL$c20240906$gRICA
856 4 $uhttps://doi.org/10.1007/978-3-031-24571-8$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth
899   $aBIBLIOTECA CENTRO DI SERVIZIO SBA$2VAN15
912   $fN
912   $aVAN00276142
950   $aBIBLIOTECA CENTRO DI SERVIZIO SBA$d15CONS      SBA EBOOK               13603       $e15EB 13603             20240521            
996   $aFormal Verification of Structurally Complex Multipliers$94164371
997   $aUNICAMPANIA