LEADER 01208nam0 22002893i 450 
001 VAN00247157
005 20240806101408.28
017 70$2N$a978-3-030-69209-4
100   $a20220620d2021       |0itac50      ba
101   $aeng
102   $aCH
105   $a||||    |||||
200 1 $aDesign for Testability, Debug and Reliability$eNext Generation Measures Using Formal Techniques$fSebastian Huhn, Rolf Drechsler
210   $aCham$cSpringer$d2021
215   $aXXI, 164 p.$cill.$d24 cm
620   $aCH$dCham$3VANL001889
700  1$aHuhn$bSebastian$3VANV202347$0853544
701  1$aDrechsler$bRolf$3VANV084298$0720580
712   $aSpringer <editore>$3VANV108073$4650
801   $aIT$bSOL$c20240906$gRICA
856 4 $uhttps://link.springer.com/book/10.1007/978-3-030-69209-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   $aVAN00247157
950   $aBIBLIOTECA CENTRO DI SERVIZIO SBA$d15CONS      SBA EBOOK 9249                      $e15EB 9249              20220620            
996   $aDesign for Testability, Debug and Reliability$92877030
997   $aUNICAMPANIA