Pastāsti draugiem par šo preci:
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
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 1997. gada 30. jūnijs |
| ISBN13 | 9780792399216 |
| Izdevēji | Springer |
| Lapas | 230 |
| Izmēri | 156 × 234 × 15 mm · 526 g |
| Valoda | Angļu |