Tille Daniel (6 results)
Test Pattern Generation Using Boolean Proof Engines
Drechsler, Rolf; Eggersglu, Stephan; Fey, Gorschwin; Tille, Daniel
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 138.11
US$ 2.64 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.
Test Pattern Generation Using Boolean Proof Engines
Drechsler, Rolf; Eggersglu, Stephan; Fey, Gorschwin; Tille, Daniel
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 145.98
US$ 2.64 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
Test Pattern Generation Using Boolean Proof Engines
Drechsler, Rolf; Eggersgluß, Stephan; Fey, Gorschwin; Tille, Daniel
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 158.07
US$ 2.64 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
Test Pattern Generation Using Boolean Proof Engines
Drechsler, Rolf; Eggersgluß, Stephan; Fey, Gorschwin; Tille, Daniel
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 265.27
US$ 2.64 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.
Test Pattern Generation using Boolean Proof Engines
Rolf Drechsler|Stephan Eggersglüß|Görschwin Fey|Daniel Tille
- Softcover
- Print on Demand
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
US$ 106.05
US$ 54.67 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The first book giving a detailed overview on SAT-based ATPGAll techniques are validated on industrial designsA comprehensive introduction to Boolean Satisfiability1 Introduction. 2 Preliminaries. 2.1 Circuits. 2.2 Fault Models. 2.3 .…
Test Pattern Generation using Boolean Proof Engines
Rolf Drechsler|Stephan Eggersglüß|Görschwin Fey|Daniel Tille
- Hardcover
- Print on Demand
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
US$ 106.89
US$ 54.67 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Gebunden. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The first book giving a detailed overview on SAT-based ATPGAll techniques are validated on industrial designsA comprehensive introduction to Boolean Satisfiability1 Introduction. 2 Preliminaries. 2.1 Circuits. 2.2 Fault Models. 2.3 .…
