Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs
Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
SpringerLink DE
Gesponsert Complete Symbolic Simulation of SystemC Models
53.49 EUR
Preis aktualisiert am: 28-05-2026 05:13:05
53.49 EUR
Preis aktualisiert am: 28-05-2026 05:13:05 
Galaxus.de
Gesponsert Complete Symbolic Simulation of SystemC Models, Fachbücher von Vladimir Herdt
53.49 EUR
Preis aktualisiert am: 27-05-2026 07:30:35
53.49 EUR
Preis aktualisiert am: 27-05-2026 07:30:35 | Bezeichner | |
|---|---|
| MPN | 26 colour illustrations, 13 black & whit |
| ISBN | 3658126795 |
| Abmessungen / Gewicht | |
| Hauptmerkmale | |
