To view prices and purchase online, please login, or register for an account.
(Hardback, second edition)
By: Edmund M. Clarke Jr.
ISBN: 9780262038836
Readership/Audience: Tertiary Education
Publication Date: Dec 2018
Publisher: MIT Press Ltd
See more...
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.
