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