Formal System Verification
State-of the-Art and Future Trends
Szerző:
Rolf Drechsler
Elérhetőség:
Beszállítói készleten
Küldés 5-8 napon belül
46 009
Ft
This book provides readers with a comprehensive introduction to the formal verification of hardware...
