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

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

Wolfgang Kunz

Price
Ft 63,718
excl. VAT

Ordered from remote warehouse

Expected delivery Aug 29 - Sep 11
Add to your iMusic wish list

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

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  

Show all

More by Wolfgang Kunz