Formal System Verification
State-of the-Art and Future Trends
Autor:
Rolf Drechsler
Dostępność:
Dostępna u dostawcy
Wysyłamy za 5-8 dni
515.12
zł
This book provides readers with a comprehensive introduction to the formal verification of hardware...
