80 元券 9780792399216VerificationTechniquesSynthesis ¥1520 0去看看 澜瑞图书专营店发布了 【4周达】Reasoning in Boolean Networks : Logic Synthesis and Verification Using Testing Techniques [9780792399216]