Model Checking, second edition
BücherAngebote / Angebote:
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.
Lieferbar in ca. 20-45 Arbeitstagen