ISBN-13: 9780262038836 / Angielski / Twarda / 2018 / 424 str.
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.
Czytaj nas na:
