Reasoning in Boolean Networks

Logic Synthesis and Verification Using Testing Techniques

Autori

• Wolfgang Kunz
• Dominik Stoffel

Parametri

Pagine

230pagine

Tempo di lettura

9ore

• Ingegneria elettrica

Maggiori informazioni sul libro

Exploring the intricate dynamics of Boolean networks, this book delves into the mathematical and computational frameworks essential for understanding complex systems. It emphasizes the application of Boolean algebra in modeling and analyzing network behavior, showcasing various reasoning techniques and algorithms. The content is tailored for researchers and practitioners, providing insights into the implications of network structures on functionality and behavior. Theoretical foundations are complemented by practical examples, making it a valuable resource for advancing knowledge in this field.

Per saperne di più

Lingua: Inglese

Pubblicato: 1997

(Copertina rigida)