Test Pattern Generation using Boolean Proof Engines

Test Pattern Generation using Boolean Proof Engines

by Görschwin Fey (Contributor), Daniel Tille (Contributor), Görschwin Fey (Contributor), Daniel Tille (Contributor), Rolf Drechsler (Author), Stephan Eggersglüß (Contributor)

$100.11

Save:$7.89 (7%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 204
Edition: Softcover reprint of hardcover 1st ed. 2009
Publisher: Springer
Published: 19 Oct 2010

ISBN 10: 9048184916
ISBN 13: 9789048184910