Abstraction Refinement for Large Scale Model Checking

Name: Abstraction Refinement for Large Scale Model Checking
Brand: Springer London, Limited
SKU: 9780387346007
Price: 3912.00 INR
Availability: InStock

by Chao Wang, Gary D. Hachtel, Fabio Somenzi

Springer London, Limited · 2006

₹3,912

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

Abstraction Refinement for Large Scale Model Checking is written by Chao Wang, Gary D. Hachtel & others. This edition from Springer London, Limited (2006).

Its main subjects are Systems engineering.