Formal System Verification
State-of the-Art and Future Trends
Autor:
Rolf Drechsler
Dostupnosť:
Skladom u dodávateľa
Odosielame za 5-8 dní
119.65
€
This book provides readers with a comprehensive introduction to the formal verification of hardware...
