SAT Based Scalable Formal Verification Solutions

Prix à partir de
60,80

En vedette

COMPARER TOUS LES MAGASINS EN LIGNE (1)

Description

SAT Based Scalable Formal Verification Solutions

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

Comparer les boutiques en ligne (1)

Trier par:

60,80 €

Description (0)

SAT Based Scalable Formal Verification Solutions

Spécifications du produit

Marque Springer
EAN
  • 9780387691664

Springer

Versatile Hardware Analysis Techniques: From Waveform-based to Formal Verification

148,47 €
Plus d'informations Plus infos

Morgan Kaufmann Publishers

Formal Verification: An Essential Toolkit for Modern VLSI Design

86,99 €
Plus d'informations Plus infos

Independently Published

Mastering Alloy Modeling: Practical Techniques for Formal Specification, Analysis, and Verification

36,47 €
Plus d'informations Plus infos

Independently Published

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

12,70 €
Plus d'informations Plus infos
Choix en vedette
60,80 €
Voir l’offre