Formal Verification of Floating-Point Hardware Design: A Mathematical Approach

(Bog, Paperback / softback, Engelsk)
Forfatter: David M. Russinoff

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

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer Nature Switzerland AG
Forfatter David M. Russinoff
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave Second Edition 2022
Udgivelsesdato 05-03-2023
Første udgivelsesår 2023
Illustrationer 40 Illustrations, black and white
Originalsprog Switzerland
Sideantal 436
Indbinding Paperback / softback
Forlag Springer Nature Switzerland AG
Sideoplysninger 436 pages, 40 Illustrations, black and white
Mål 235 x 155
ISBN-13 / EAN-13 9783030871833