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 $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 LEADER 01194nam0 2200277 i 450 001 VAN00004315 005 20240806100223.331 100 $a20020722d1996 |0itac50 ba 101 $afre 102 $aFR 105 $a|||| ||||| 200 1 $aEnvironnement et urbanisme: textes de reference jurisprudence commentaires$ffiches realisesse par Rene Christini ... [et al.] 205 $aParis : Dalloz$b1996 210 $a339 p.$a23 cm 215 $aIn testa al front.: Ministere de l'Environnement direction de la nature et des Paysages. 606 $aPianificazione urbanistica e ambiente-Diritto-Francia$3VANC002775$2FI 620 $dParis$3VANL000046 676 $a346.44044$v21 702 1$aChristini$bRene$3VANV004030 712 $aDalloz $3VANV108801$4650 801 $aIT$bSOL$c20251024$gRICA 899 $aBIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA$1IT-CE0105$2VAN00 912 $aVAN00004315 950 $aBIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA$d00CONS IV.Er.142 $e00 13474 20020722 996 $aEnvironnement et urbanisme: textes de reference jurisprudence commentaires$91439014 997 $aUNICAMPANIA