Design Automation of Cyber-Physical Systems (Bog, Paperback / softback, Engelsk)

Design Automation of Cyber-Physical Systems

(Bog, Paperback / softback, Engelsk)

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Beskrivelse

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.

Læsernes anmeldelser (0)

Alle detaljer

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