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

Of Floating-Point Hardware Design
Wo zu kaufen (1) Eigenschaften
Gesponsert
Formal Verification of Floating-Point Hardware Design, Fachbücher von David M. Russinoff
Galaxus.de
90.94 EUR
Preis aktualisiert am: 29-10-2026 14:45:36
Siehe Produktangebot

Allgemein

Marke
Springer

Eigenschaften

Ähnliche Produkte

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Aus123.04 EUR 3
Produkt anzeigen
Formal Modeling and Verification of Cyber-Physical Systems
Formal Modeling and Verification of Cyber-Physical Systems
Aus53.49 EUR 3
Produkt anzeigen
Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, ... Notes in Computer Science, Band 11245)
Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, ... Notes in Computer Science, Band 11245)
Aus52.94 EUR 3
Produkt anzeigen
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, ... Notes in Computer Science, Band 11246)
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, ... Notes in Computer Science, Band 11246)
Aus52.94 EUR 3
Produkt anzeigen
Leveraging Applications of Formal Methods Verification and Validation. Modeling
Leveraging Applications of Formal Methods Verification and Validation. Modeling
Aus53.49 EUR 2
Produkt anzeigen
Formal Verification of Circuits
Formal Verification of Circuits
Aus160.49 EUR 1
Produkt anzeigen
Menü