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

(Bog, Hardback, 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 Hardback
Sprog Engelsk
Udgave Second Edition 2022
Udgivelsesdato 04-03-2022
Første udgivelsesår 2022
Illustrationer 40 Illustrations, black and white
Originalsprog Switzerland
Sideantal 436
Indbinding Hardback
Forlag Springer Nature Switzerland AG
Sideoplysninger 436 pages, 40 Illustrations, black and white
Mål 235 x 155
ISBN-13 / EAN-13 9783030871802