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

Amazon 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)

Shop
Prix
Affranchissement
Prix total
Amazon Logo
111,00 €
Gratuit
111,00 €
Voir l’offre
Gratuit Shipping Costs
Amazon Marketplace Logo
111,00 €
Gratuit
111,00 €
Voir l’offre
Gratuit Shipping Costs
Description (1)

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

Spécifications du produit

Marque Springer
EAN
  • 9783030871833

Springer

Versatile Hardware Analysis Techniques: From Waveform based to Formal Verification

147,78 €
Comparer 2 magasins 2 magasins

Independently Published

LEAN PROGRAMMING for FORMAL SOFTWARE VERIFICATION: Mathematical proof systems and logical frameworks verified computation

11,78 €
Comparer 2 magasins 2 magasins

Polaris QCI Publishing

Mathematical Foundations of Quantum Computing: A Scaffolding Approach

54,42 €
Comparer 2 magasins 2 magasins

Polaris QCI Publishing

Mathematical Foundations of Quantum Computing: A Scaffolding Approach

68,66 €
Comparer 2 magasins 2 magasins
Choix en vedette
111,00 €
Voir l’offre