1. Forside
  2. Bøger
  3. Engelske bøger
  4. Elektronik: kredse og komponenter
  5. Elektronik teknik
  6. Dataarkitektur og logisk design
  7. Formal System Verification: State-of the-Art and Future Trends

Formal System Verification: State-of the-Art and Future Trends

(Bog, Paperback / softback, Engelsk)
Formal System Verification: State-of the-Art and Future Trends
Forlag: Springer International Publishing AG

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

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Dataarkitektur og logisk design Elektronik: kredse og komponenter Elektronik teknik
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

This book provides readers with a comprehensive introduction to the formal verification of hardware and software. World-leading experts from the domain of formal proof techniques show the latest developments starting from electronic system level (ESL) descriptions down to the register transfer level (RTL).

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave Softcover reprint of the original 1st ed. 2018
Udgivelsesdato 10-08-2018
Første udgivelsesår 2018
Illustrationer 49 Illustrations, color; 22 Illustrations, black and white
Fagredaktør Rolf Drechsler
Originalsprog Switzerland
Sideantal 182
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 182 pages, 49 Illustrations, color; 22 Illustrations, black and white
Mål 235 x 155
ISBN-13 / EAN-13 9783319862231