SAT Based Scalable Formal Verification Solutions

Prix à partir de
60,80

En vedette

COMPARER TOUS LES MAGASINS EN LIGNE (2)

Description

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

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

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 €
Comparer 2 magasins 2 magasins

Elsevier

Formal Verification: An Essential Toolkit for Modern VLSI Design

86,99 €
Comparer 2 magasins 2 magasins

Majosta

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

36,47 €
Comparer 2 magasins 2 magasins

Independently Published

FORMAL VERIFICATION FOR SOFTWARE SYSTEMS: Model checking correctness proofs and specification driven development

11,83 €
Comparer 2 magasins 2 magasins
Choix en vedette
60,80 €
Voir l’offre