Systems and Software Verification

Name: Systems and Software Verification: Model-Checking Techniques and Tools
Brand: Springer-Nature New York Inc
SKU: 9783540415237
Price: 10778.00 INR
Availability: InStock

Model-Checking Techniques and Tools

by M. Bidoit, A. Finkel

Springer-Nature New York Inc · 2001 · Hardcover

₹10,778

Free delivery. Nothing extra to pay at checkout.

Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

About this book

Systems and Software Verification: Model-Checking Techniques and Tools is written by M. Bidoit & A. Finkel. This hardcover edition from Springer-Nature New York Inc (2001) has 190 pages.

Topics covered include Computer systems, Verification, Computer software and Software engineering.