Description: 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.
Pub Date: December 4, 2018
Dewey: 004.21
LCCN: 2018014965
Lexile Code: 0000
Features: Bibliography, Index, Price on Product
Target Age Group: 18 to UP
Physical Info: 1.10" H x 9.10" L x 7.30" W ( 1.70 lbs) 424 pages
BISAC Categories:
Computers | Computer Science | Software Development and Engineering | Systems Analysis and Design
Series: Cyber Physical Systems
Description: 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.