Embedding Sequential Circuits for their Polynomial Formal Verification

Prix à partir de
91,13

En vedette

COMPARER TOUS LES MAGASINS EN LIGNE (2)

Description

Amazon Embedding Sequential Circuits for their Polynomial Formal Verification
Description Description
Product Specifications Spécifications du produit
Related Products Produits connexes
?>
Next
Previous

Comparer les boutiques en ligne (2)

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

Embedding Sequential Circuits for their Polynomial Formal Verification

Spécifications du produit

Marque Springer
EAN
  • 9783658501549

Prix mis à jour pour la dernière fois le :

Morgan Kaufmann

Formal Verification: An Essential Toolkit for Modern Vlsi Design

92,52 €
Comparer 2 magasins 2 magasins

CREATESPACE

Finding Your Way Through Formal Verification

22,33 €
Comparer 2 magasins 2 magasins

Majosta

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

36,30 €
Comparer 2 magasins 2 magasins

Independently Published

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

11,77 €
Comparer 2 magasins 2 magasins
Choix en vedette
91,13 €
Voir l’offre