Reihe Series on Integrated Circuits and SystemsMalay Ganai × SAT-Based Scalable Formal Verification Solutions Malay GanaiSpringer USSoftcover2010117,69 € SAT-Based Scalable Formal Verification Solutions Malay GanaiSpringer USeBook2007106,99 € SAT-Based Scalable Formal Verification Solutions Malay GanaiSpringer USHardcover2007160,49 €
