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 International Publishing AG |
| 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 |
| Originalsprog | Switzerland |
| Sideantal | 262 |
| Indbinding | Hardback |
| Forlag | Springer International Publishing AG |
| Sideoplysninger | 262 pages, 65 Illustrations, color; 28 Illustrations, black and white |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9783031181733 |