Systems and Software Verification: Model-Checking Techniques and Tools

Name: Late Knight Books and Services, LLC Systems and Software Verification: Model-Checking Techniques and Tools - Systems and Software Verification: Model-Checking Techniques and Tools
Brand: Late Knight Books and Services, LLC
SKU: 49471706333324
Price: 143.99 USD
Availability: InStock

4.5 (1,234)

Sold 100+ last 30 days

20% off first order

$143.99$159.99

10% off

Quantity

Color

Black

Quantity

Description

Systems and Software Verification: Model-Checking Techniques and Tools Berard, B.; McKenzie, P.; Bidoit, M.; Finkel, A.; Laroussinie, F.; Petit, A.; Petrucci, L.; Schnoebelen, P. Model checking is a powerful approach for the formal verifica...