Lange & Springer Antiquariat Dorotheenstraße 16, 10117 Berlin

Russinoff, Formal Verification of Floating-Point Hardware Design.

Russinoff, Formal Verification of Floating-Point Hardware Design.

Russinoff, David M.: Formal Verification of Floating-Point Hardware Design. A Mathematical Approach. Cham, Springer, 2018. 23.5 cm x 15.5 cm. XXIV, 382 p. Hardcover. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped.

  • Kategorie: Informatik
  • Sprache: Englisch (en)
  • ISBN: 9783319955124
  • Bestellnummer: 4342CB

Unser Preis: EUR 17,--