Faites connaître cet article à vos amis:
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
| Médias | Livres Hardcover Book (Livre avec dos et couverture rigide) |
| Validé | 30 juin 1997 |
| ISBN13 | 9780792399216 |
| Éditeurs | Springer |
| Pages | 230 |
| Dimensions | 156 × 234 × 15 mm · 526 g |
| Langue et grammaire | Anglais |
Plus par Wolfgang Kunz
Afficher toutVoir tous les Wolfgang Kunz ( par ex. Hardcover Book et Paperback Book )
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier