Reihe Synthesis Lectures on Digital Circuits & SystemsLun Li × Digital System VerificationA Combined Formal Methods and Simulation FrameworkLun LiSpringer International PublishingeBook202228,88 € Digital System VerificationA Combined Formal Methods and Simulation FrameworkLun LiSpringer International PublishingSoftcover201029,95 €