Abstraction Refinement for Large Scale Model Checking by Chao Wang - Paperback

Abstraction Refinement for Large Scale Model Checking by Chao Wang - Paperback

AED562.44
(0) Write a Review
SKU:
9781489993953
UPC:
9781489993953

Product Description

ISBN: 9781489993953
TITLE: Abstraction Refinement for Large Scale Model Checking
AUTHOR: Chao Wang
PUBLISHER: Springer-Verlag New York Inc.
PUBLISHER DATE: 6 Dec 2014

Other Details

ISBN:
9781489993953
Author:
Chao Wang
Publisher:
Springer-Verlag New York Inc.
Publisher Date:
6 Dec 2014
Book Format:
Paperback

Related Products

Popular Trending Products