Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Techniques - Frontiers in Electronic Testing - Wolfgang Kunz - Books - Springer - 9780792399216 - June 30, 1997
In case cover and title do not match, the title is correct

Wolfgang Kunz
Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Techniques - Frontiers in Electronic Testing 1997 edition

Price
A$ 279.49
excl. VAT

Ordered from remote warehouse

Expected delivery Jan 15 - 28, 2026
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Reasoning in Boolean Networks provides a detailed treatment of recent research advances in algorithmic techniques for logic synthesis, test generation and formal verification of digital circuits.

230 pages, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released June 30, 1997
ISBN13 9780792399216
Publishers Springer
Pages 230
Dimensions 156 × 234 × 15 mm   ·   526 g
Language English  

More by Wolfgang Kunz

Show all

See all of Wolfgang Kunz ( e.g. Hardcover Book and Paperback Book )