大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Tille 的图书(共1本)

Test Pattern Generation using Boolean Proof Engines [electronic resource]

0
索取号：
作者：Drechsler、 Rolf.、Eggersgl眉尾、 Stephan.、Fey、 G枚rschwin.、Tille、 Daniel.、SpringerLink (Online service)、
出版社：Dordrecht : Springer Netherlands, 2009.