Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Formal Verification of Floating-Point Hardware Design David M. Russinoff

Ø 0.0

0 Bewertungen

106,99 €

Titel: Formal Verification of Floating-Point Hardware Design, Untertitel: A Mathematical Approach, Einband: Taschenbuch, Autor: David M. Russinoff, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 464, Maße: 235x155x25 mm, Gewicht: 698 g, Verkäufer: buch-mimpf, Schlagworte: Booth multiplication Computer Arithmetic SRT division floating-point arithmetic floation-point specification formal specification of arithmetic instructions formal verification interactive theorem proving register-transfer logic.

Jetzt bei Ebay:

Zum Angebot *

Verlag:

Springer International Publishing, Springer International Publ...
Autor:

David M. Russinoff
Seiten:

464
Gewicht:

698
Einband:

Taschenbuch
Format:

235x155x25 mm
Sprache:

Englisch
Marke:

Springer International Publishing, Springer International Publ...
Fachbereich:

Hardcover/Naturwissenschaften, Medizin, Informatik, Technik/In...
Publikationstitel:

Formal Verification of Floating-Point Hardware Design
Erscheinungsjahr:

20230305
Produktart:

Bücher
Buchtitel:

Formal Verification of Floating-Point Hardware Design
Untertitel:

A Mathematical Approach
Film-/Fernseh-Titel:

Keine Angabe
Publikationsname:

Formal Verification of Floating-Point Hardware Design
Musiktitel:

Keine Angabe
Interpret:

Keine Angabe
Schlagworte:

Booth multiplication Computer Arithmetic SRT division float...
ISBN:

9783030871833

Standardversand:

DHL Paket kostenlos - Lieferung zwischen 21. May 2025 und 22. May 2025 (bei heutigem Zahlungseingang)
Versand nach:

Deutschland
Versand ausgeschlossen:

Afrika , Asien , Mittelamerika und Karibik , Naher Osten , Nordamerika , Ozeanien , Südostasien , Südamerika , Albanien , Andorra , ... und weitere