Systems and Software Verification: Model-Checking Techniques and Tools

Name: Miakarts Books Systems and Software Verification: Model-Checking Techniques and Tools - Systems and Software Verification: Model-Checking Techniques and Tools
Brand: Miakarts Books
SKU: 51960199315744
Price: 147.98 USD
Availability: InStock

4.5 (1,234)

Sold 100+ last 30 days

20% off first order

$147.98$198.27

25% off

Quantity

Color

Black

Quantity

Description

ISBN: 3540415238
Author: Berard, B.
Condition: New
Model checking is a powerful approach for the formal verification of software. It automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not ...