Rajaa
Hakutulokset: Hakutulos
Rajaa
yhteensä 2 hakutulosta
Model Checking
sidottu,
2018,
englanti,
ISBN 9780262038836
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 …
Model Checking, second edition
e-kirja,
2018,
englanti,
ISBN 9780262349451
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 …