search for books and compare prices
Handbook of Model Checking
Descriptions of each edition are found in brief where available. Click details & prices to get more information on a book or to find the best prices for the title.
Hardcover
With Thomas A. Henzinger (other contributor), Edmund M. Clarke (other contributor) |
from Springer-Verlag New York Inc (March 11, 2017)
9783319105741 | details & prices | 1000 pages | List price $149.00
About: Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems.
About: Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems.