Order Total (1 Item Items):
Shipping Destination:
Logic Synthesis Verification Algorithms by Hachtel Gary (27 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (27)
- 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
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (1)
- Seller-Supplied Images (5)
- Not Print on Demand (22)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Logic Synthesis and Verification Algorithms
Seller: Goodwill of Silicon Valley, SAN JOSE, CA, U.S.A.
Seller rating 4 out of 5 stars
Condition: good. Supports Goodwill of Silicon Valley job training programs. The cover and pages are in Good condition! Any other included accessories are also in Good condition showing use. Use can include some highlighting and writing, page and cover creases as well as other types visible wear.
-
Logic Synthesis and Verification Algorithms
Seller: Goodwill of Silicon Valley, SAN JOSE, CA, U.S.A.
Seller rating 4 out of 5 stars
Condition: good. Supports Goodwill of Silicon Valley job training programs. The cover and pages are in Good condition! Any other included accessories are also in Good condition showing use. Use can include some highlighting and writing, page and cover creases as well as other types visible wear.
-
Condition: Very Good. Text block firm and clean, binding unblemished, boards straight, without highlights or underlining. Without any discs, access codes or extra items. Very clean, very nice example. Supporting Bay Area Friends of the Library since 2010. Well packaged and promptly shipped.
-
Condition: acceptable. Fairly worn, but readable and intact. If applicable: Dust jacket, disc or access code may not be included.
-
Logic Synthesis and Verification Algorithms
Seller: Books From California, Simi Valley, CA, U.S.A.
Seller rating 4 out of 5 stars
paperback. Condition: Fine.
-
Logic Synthesis and Verification Algorithms
Seller: A Squared Books (Don Dewhirst), South Lyon, MI, U.S.A.
Seller rating 5 out of 5 stars
hardcover. Condition: Very Good. Dust Jacket Condition: Missing. 1996. Matte paper covers; corners worn with board peeking through lower corner, otherwise mild wear; 4to - over 9 3/4" to 12" tall; no jacket. Top edge of last 30 pages dented/creased; Interior is clean and unmarked; 564 pages. Additional shipping charges may be required due to the size and weight of book.
-
Hardcover. Condition: new. New Copy. Customer Service Guaranteed.
-
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Paperback. Condition: new. New Copy. Customer Service Guaranteed.
-
Condition: New. pp. 600.
-
Condition: New. pp. 600 66:B&W 7 x 10 in or 254 x 178 mm Perfect Bound on White w/Gloss Lam.
-
Condition: Used. pp. xxxii + 564.
-
Logic Synthesis and Verification Algorithms
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 75.83
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Condition: Used. pp. xxxii + 564.
-
PF. Condition: New.
-
Logic Synthesis and Verification Algorithms (Hardcover)
Language: English
Published by Kluwer Academic Publishers, Dordrecht, 1996
ISBN 10: 0792397460 ISBN 13: 9780792397465
Hardcover. Condition: new. Hardcover. This textbook is designed for courses on VLSI Logic Synthesis and Verification, Design Automation, CAD and advanced level discrete mathematics. It also serves as a basic reference work in design automation for both professionals and students. This book is about the theoretical underpinnings of VLSI (Very Large Scale Integrated Circuits). It combines and integrates modern developments in logic synthesis and formal verification with the more traditional matter of Switching and Finite Automata Theory. The book also provides background material on Boolean algebra and discrete mathematics. A unique feature of this text is the large collection of solved problems. Throughout the text the algorithms covered are the subject of one or more problems based on the use of available synthesis programs. Logic Synthesis and Verification Algorithms is a textbook designed for courses on VLSI Logic Synthesis and Verification, Design Automation, CAD and advanced level discrete mathematics. Logic Synthesis and Verification Algorithms is about the theoretical underpinnings of VLSI (Very Large Scale Integrated Circuits). Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Condition: Used. pp. xxxii + 564.
-
Condition: Gut. Zustand: Gut | Seiten: 564 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
-
Hardcover. Condition: Like New. Like New. book.
-
Hardcover. Condition: Brand New. 1st edition. 564 pages. 10.00x7.00x1.00 inches. In Stock.
-
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Condition: New. Satisfaction Guaranteed or your money back.
-
Condition: new. Questo è un articolo print on demand.
-
Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Logic Synthesis and Verification Algorithms is a textbook designed for courses on VLSI Logic Synthesis and Verification, Design Automation, CAD and advanced level discrete mathematics. It also serves as a basic reference work in design automatio.
-
Logic Synthesis and Verification Algorithms
Language: English
Published by Springer-Verlag New York Inc., 2013
ISBN 10: 1475770367 ISBN 13: 9781475770360
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
£ 89.47
£ 22.31 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPaperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
-
Condition: New. PRINT ON DEMAND pp. 600.
-
Taschenbuch. Condition: Neu. Logic Synthesis and Verification Algorithms | Gary D. Hachtel (u. a.) | Taschenbuch | xxxii | Englisch | 2013 | Springer | EAN 9781475770360 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
