Theory and Applications of Satisfiability Testing(可满足性测试的理论与
¥556.90
Holger H. Hoos 著 /2005-08-01 /北京燕山出版社
收藏