Tallenna
Formal System Verification
sidottu, 2017
englanti
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).
- Alaotsikko
- State-of the-Art and Future Trends
- Toimittaja
- Rolf Drechsler
- Painos
- 1st ed. 2018
- ISBN
- 9783319576831
- Kieli
- englanti
- Paino
- 446 grammaa
- Julkaisupäivä
- 3.7.2017
- Kustantaja
- Springer International Publishing AG
- Sivumäärä
- 182
