Handbook of Model Checking by Edmund M. Jr. Clarke - Hardback

Handbook of Model Checking by Edmund M. Jr. Clarke - Hardback

SAR692.14
(0) Write a Review
SKU:
9783319105741
UPC:
9783319105741

Product Description

ISBN: 9783319105741
TITLE: Handbook of Model Checking
AUTHOR: Edmund M. Jr. Clarke
PUBLISHER: Springer International Publishing AG
PUBLISHER DATE: 8 Jun 2018

Other Details

ISBN:
9783319105741
Author:
Edmund M. Jr. Clarke
Publisher:
Springer International Publishing AG
Publisher Date:
Published:8 Jun 2018
Book Format:
Hardback

Related Products

Popular Trending Products