Bemærk: Kan ikke leveres før jul.
Forventes på lager: 02-01-2023
Die Autoren legen den Schwerpunkt auf automatisierte formale Verifikationsmethoden sowie auf fortgeschrittene, abdeckungsgeleitete Analyse- und Testtechniken, die auf SystemC-basierte VP und die zugehörige Software (SW) zugeschnitten sind.
| Forlag | Springer Fachmedien Wiesbaden |
| Forfattere | Vladimir Herdt, Daniel Große, Rolf Drechsler |
| Type | Bog |
| Format | Hardback |
| Sprog | Tysk |
| Udgave | 1. Aufl. 2022 |
| Udgivelsesdato | 02-01-2023 |
| Første udgivelsesår | 2023 |
| Illustrationer | 65 Illustrations, color; 28 Illustrations, black and white; XXIV, 262 S. 93 Abb., 65 Abb. in Farbe. |
| Originalsprog | Germany |
| Sideantal | 262 |
| Indbinding | Hardback |
| Forlag | Springer Fachmedien Wiesbaden |
| Sideoplysninger | 262 pages, 65 Illustrations, color; 28 Illustrations, black and white; XXIV, 262 S. 93 Abb., 65 Abb. |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9783031181733 |