Compiler-Assisted Software Model Checking and Monitoring by Xiaowan Huang - Paperback

Compiler-Assisted Software Model Checking and Monitoring by Xiaowan Huang - Paperback

AED0.00
(0) Write a Review
SKU:
9781248953907
UPC:
9781248953907

Product Description

ISBN: 9781248953907
TITLE: Compiler-Assisted Software Model Checking and Monitoring
AUTHOR: Xiaowan Huang
PUBLISHER: Proquest, Umi Dissertation Publishing
PUBLISHER DATE: 1 May 2012

Other Details

ISBN:
9781248953907
Author:
Xiaowan Huang
Publisher:
Proquest, Umi Dissertation Publishing
Publisher Date:
1 May 2012
Book Format:
Paperback

Related Products

Popular Trending Products