An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems.Model checking is a verification technology that provides an algorithmic means...
Price history
Apr 3, 2022
€41.76