Herdt, Vladimir (Autor)
Complete Symbolic Simulation of SystemC Models
Efficient Formal Verification of Finite Non-Terminating Programs
Beschreibung
Produktdetails
| ISBN/GTIN | 978-3-658-12680-3 |
|---|---|
| Seitenzahl | 162 S. |
| Kopierschutz | mit Wasserzeichen |
| Dateigröße | 1799 Kbytes |