Reasoning in Boolean Networks

Logic Synthesis and Verification Using Testing Techniques

Autoren

• Wolfgang Kunz
• Dominik Stoffel

Parameter

Seitenzahl

230 Seiten

Lesezeit

9 Stunden

• Elektrotechnik

Mehr zum Buch

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.

Mehr lesen

• Sprache: Englisch
• Erscheinungsdatum: 1997
• Einband: Hardcover