Recomienda este artículo a tus amigos:
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
Los regalos de Navidad se podrán canjear hasta el 31 de enero