Formal System Verification
State-of the-Art and Future Trends
Autor:
Rolf Drechsler
Disponibilitate:
În depozitul extern
Expediem în 5-8 zile
661.15
lei
This book provides readers with a comprehensive introduction to the formal verification of hardware...
