Test Pattern Generation using Boolean Proof Engines
by Rolf Drechsler, Stephan Eggersglüß, Görschwin Fey, Daniel Tille
2010204 pages
Springer·1 editions
Loading Description
Tags
NewBookshelves
0 readersNo users with this book on their shelves. Maybe you could be the first.
Threads
0 discussionsQuotes
0 quotesReviews
0 reviewsNo reviews yet. Add your review.
Lists
0 listsNo lists containing this book.
Purchasable Editions
1 editionsThe Amazon links are affiliate links
Test Pattern Generation using Boolean Proof Engines (2010)
Test Pattern Generation using Boolean Proof Engines (2010)
Springer, Rolf Drechsler
Springer, Rolf Drechsler
paperback
ISBN 10: 9048184916
ISBN 13: 9789048184910