LEADER 01147nam0 22002773i 450 
001 VAN00121030
005 20240806100807.876
017 70$2N$a9783319305394
100   $a20190416d2016       |0itac50      ba
101   $aeng
102   $aCH
105   $a||||    |||||
200 1 $aSystemVerilog Assertions and Functional Coverage$eGuide to Language, Methodology and Applications$fAshok B. Mehta
210   $aCham$cSpringer$d2016
215   $axxxv, 406 p.$d24 cm
620   $aCH$dCham$3VANL001889
700  1$aMehta$bAshok B.$3VANV093008$0763798
712   $aSpringer <editore>$3VANV108073$4650
801   $aIT$bSOL$c20240906$gRICA
856 4 $uhttp://link.springer.com/openurl?genre=book&isbn=978-3-319-30539-4$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   $aVAN00121030
950   $aBIBLIOTECA CENTRO DI SERVIZIO SBA$d15CONS      SBA EBOOK 3555                      $e15EB 3555              20190416            
996   $aSystemVerilog Assertions and Functional Coverage$91550052
997   $aUNICAMPANIA