Bemærk: Kan ikke leveres før jul.
Forventes på lager: 14-08-2020
This book presents the state-of-the-art and breakthrough innovations in design automation for cyber-physical systems.The authors discuss various aspects of cyber-physical systems design, including modeling, co-design, optimization, tools, formal methods, validation, verification, and case studies.
| Forlag | Springer Nature Switzerland AG |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgave | 2019 ed. |
| Udgivelsesdato | 14-08-2020 |
| Første udgivelsesår | 2020 |
| Illustrationer | 80 Illustrations, color; 22 Illustrations, black and white; X, 288 p. 102 illus., 80 illus. in color. |
| Fagredaktør | Mohammad Abdullah Al Faruque, Arquimedes Canedo |
| Originalsprog | Switzerland |
| Sideantal | 288 |
| Indbinding | Paperback / softback |
| Forlag | Springer Nature Switzerland AG |
| Sideoplysninger | 288 pages, 80 Illustrations, color; 22 Illustrations, black and white; X, 288 p. 102 illus., 80 illu |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9783030130527 |