Springer
SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems)
Description
More details coming soon.
Technical Specifications
Manufacturer
Springer
Height
23.5 cm
Length
15.5 cm
Width
2.1 cm
Weight
1.11 kg
Release date
19 November 2010