|
ComputingReviews.com
|
Handbook of model checking Clarke E., Henzinger T., Veith H., Bloem R., Springer International Publishing,New York, NY,2018. 1210 pp. Type:Book |
|
|
|
Published By: Springer International Publishing |
|
|
|
|
|
|
|
|
You can purchase a book without having a subscription.
|
|
|
|
|
|
|