Formal Verification of Floating Point Hardware Design: A Mathematical Approach

Prix à partir de
111,00

En vedette

COMPARER TOUS LES MAGASINS EN LIGNE (2)

Description

Formal Verification of Floating Point Hardware Design: A Mathematical Approach

Description Description
Product Specifications Spécifications du produit
Résultats connexes Résultats connexes
Next
Previous

Comparer les boutiques en ligne (2)

Trier par:

111,00 € Total 111,01 €

111,00 € Total 111,01 €

Description (0)

Formal Verification of Floating Point Hardware Design: A Mathematical Approach

Spécifications du produit

Marque Springer
EAN
  • 9783030871833

Independently Published

MATHEMATICAL FOUNDATIONS OF COMPUTER VERIFICATION: Logic Set Theory Formal Languages Proof Techniques...

11,73 €
Comparer 2 magasins 2 magasins

Springer

Versatile Hardware Analysis Techniques: From Waveform based to Formal Verification

147,78 €
Comparer 2 magasins 2 magasins

Independently Published

Ada 2022 and SPARK: The Definitive Guide to Formal Verification Mathematical Proofs

31,26 €
Comparer 2 magasins 2 magasins

Independently Published

RELIABLE COMPUTING THROUGH FORMAL VERIFICATION: Software Assurance Algorithm Verification Mathematical Proofs and...

12,64 €
Comparer 2 magasins 2 magasins
Choix en vedette
111,00 €
Voir l’offre