Buy Used and New StephanEggersglüß Books

Test Pattern Generation using Boolean Proof Engines

by Rolf Drechsler, Stephan Eggersglüß, Görschwin Fey, Daniel Tille

ISBN 13: 9789048123599

Format: Hardcover (192 pages)
Publisher: Springer
Published: 30 Apr 2009

Save for later

High Quality Test Pattern Generation and Boolean Satisfiability

by Stephan Eggersglüß, Rolf Drechsler

ISBN 13: 9781441999757

Format: Hardcover (193 pages)
Publisher: Springer
Published: 10 Mar 2011

Save for later