Knihobot
Kniha momentálne nie je na sklade

Formal methods for hardware verification

Viac o knihe

InhaltsverzeichnisHardware Design and Simulation for Verification.Automatic Test Pattern Generation.An Introduction to Symbolic Trajectory Evaluation.BDD-Based Hardware Verification.SAT-Based Verification Methods and Applications in Hardware Verification.Building Efficient Decision Procedures on Top of SAT Solvers.Refinement and Theorem Proving.Floating-Point Verification Using Theorem Proving.

Nákup knihy

Formal methods for hardware verification, Marco Bernardo

Jazyk
Rok vydania
2006
Akonáhle sa objaví, pošleme vám e-mail.

Doručenie

  •  

Platobné metódy

2021 2022 2023

Navrhnúť zmenu