01208nam0 22002893i 450 VAN0024715720240806101408.28N978-3-030-69209-420220620d2021 |0itac50 baengCH|||| |||||Design for Testability, Debug and ReliabilityNext Generation Measures Using Formal TechniquesSebastian Huhn, Rolf DrechslerChamSpringer2021XXI, 164 p.ill.24 cmCHChamVANL001889HuhnSebastianVANV202347853544DrechslerRolfVANV084298720580Springer <editore>VANV108073650ITSOL20240906RICAhttps://link.springer.com/book/10.1007/978-3-030-69209-4E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA CENTRO DI SERVIZIO SBAVAN15NVAN00247157BIBLIOTECA CENTRO DI SERVIZIO SBA15CONS SBA EBOOK 9249 15EB 9249 20220620 Design for Testability, Debug and Reliability2877030UNICAMPANIA