Abstraction Refinement For Large Scale Model Checking

5,774.33

+ Free Shipping

Author : Wang
Publisher : Springer
Publish Year : 2006
Subject : Mathematics

Availability: 1 in stock

SKU: 9780387341552 Category: Tags: , ,
Weight 750 kg

Reviews

There are no reviews yet.

Be the first to review “Abstraction Refinement For Large Scale Model Checking”

Your email address will not be published. Required fields are marked *

Shopping Cart
Scroll to Top