EAN: 9780387691664

Bilder-Quelle: shopping24.de – Sport

This book provides an engineering insight into how to provide a scalable and robust verification solution with ever increasing design complexity and sizes. It describes SAT-based model checking approaches and gives engineering details on what makes model checking practical. The book brings together the various SAT-based scalable emerging technologies and techniques covered can be synergistically combined into a scalable solution.

Produktinformationen zuletzt aktualisiert am
31.03.2025 um 04:55 Uhr

Produktzustand:

Verfügbarkeit:

Versandkosten:

Sonderpreis: