| EAN: | 9783319862231 |
|---|---|
| Sachgruppe: | Technik |
| Sprache: | Englisch |
| Seitenzahl: | 200 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Drechsler, Rolf |
| Veröffentlichungsdatum: | 10.08.2018 |
| Untertitel: | State-of the-Art and Future Trends |
128,39 €*
Die Verfügbarkeit wird nach ihrer Bestellung bei uns geprüft.
Bücher sind in der Regel innerhalb von 1-2 Werktagen abholbereit.
Provides latest results on formal methods along the complete design flow; Covers different abstraction layers, from ESL to RTL; Addresses formal verification in both digital and analog contexts; Demonstrates techniques in current industrial use. Includes supplementary material: sn.pub/extras
Verwandte Artikel