Symbolic Model Checking Kenneth McMillan

Name: Symbolic Model Checking By Kenneth McMillan
SKU: 9780792393801
Price: 112.79 USD
Availability: InStock

Symbolic Model Checking by Kenneth McMillan

Reviews:

$112.79

Condition - New

Only 2 left

New

Symbolic Model Checking Summary

Symbolic Model Checking by Kenneth McMillan

Unfortunately we do not have a summary for this item at the moment

Additional information

Sku

NPB9780792393801

ISBN 13

9780792393801

ISBN 10

0792393805

Title

Symbolic Model Checking by Kenneth McMillan

Author

Kenneth McMillan

Condition

New

Binding type

Hardback

Publisher

Kluwer Academic Publishers

Year published

1993-07-31

Number of pages

216

Prizes

N/A

Cover note

Book picture is for illustrative purposes only, actual binding, cover or edition may vary.

Note

This is a new book - be the first to read this copy. With untouched pages and a perfect binding, your brand new copy is ready to be opened for the first time