Povej prijatelju o tem izdelku:
Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Techniques - Frontiers in Electronic Testing Wolfgang Kunz 1997 edition
Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Techniques - Frontiers in Electronic Testing
Wolfgang Kunz
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
| Medij | Knjige Hardcover Book (Knjiga s trdim hrbtom in platnicami) |
| Izdano | 30. junija 1997 |
| ISBN13 | 9780792399216 |
| Založniki | Springer |
| Strani | 230 |
| Dimenzije | 156 × 234 × 15 mm · 526 g |
| Jezik | Angleščina |