Spar
Formal System Verification
innbundet, 2017
Engelsk
This book provides readers with a comprehensive introduction to the formal verification of hardware and software. World-leading experts from the domain of formal proof techniques show the latest developments starting from electronic system level (ESL) descriptions down to the register transfer level (RTL).
- Undertittel
- State-of the-Art and Future Trends
- Redaktør
- Rolf Drechsler
- Opplag
- 1st ed. 2018
- ISBN
- 9783319576831
- Språk
- Engelsk
- Vekt
- 446 gram
- Utgivelsesdato
- 3.7.2017
- Antall sider
- 182
