Symbolic Model Checking

Authors: McMillan, Kenneth L.

Ask AI a Question

Brand: Springer

ASIN: 1461363993 (CA)

94.35 CAD Usually ships within 4 to 5 days

Category: N/A (Slug: computer-science/artificial-intelligence/machine-theory)

Ask a Question about "Symbolic Model Checking"

0 / 300