Order Total (1 Item Items):
Shipping Destination:
Tille Daniel (3 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (3)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (3)
- As New, Fine or Near Fine (No further results match this refinement)
- Very Good or Good (No further results match this refinement)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (2)
- Not Print on Demand (1)
Language (1)
Price
- Any Price
- Under £ 20 (No further results match this refinement)
- £ 20 to £ 35 (No further results match this refinement)
- Over £ 35
Free Shipping
- Free Shipping to U.S.A. (No further results match this refinement)
Seller Location
Seller Rating
-
Test Pattern Generation using Boolean Proof Engines
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 91.76
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Test Pattern Generation using Boolean Proof Engines
Language: English
Published by Springer Netherlands, 2010
ISBN 10: 9048184916 ISBN 13: 9789048184910
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
Language: English
Published by Springer Netherlands, 2009
ISBN 10: 9048123593 ISBN 13: 9789048123599
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 .
