Coverage Metrics for Model Checking

Name: Coverage Metrics for Model Checking
Brand: LAP Lambert Academic Publishing
SKU: 9783845421988
Price: 48.97 GBP
Availability: OutOfStock
ISBN: 9783845421988

Hana Chockler author

Format:Paperback

Publisher:LAP Lambert Academic Publishing

Published:29th Jul '11

Currently unavailable, and unfortunately no date known when it will be back

Coverage Metrics for Model Checking cover

This paperback, "Coverage Metrics for Model Checking" from Hana Chockler, was published 29th July 2011 by LAP Lambert Academic Publishing.

ISBN: 9783845421988

Dimensions: 229mm x 152mm x 9mm

Weight: 222g

144 pages