Model Checking, second edition, , MIT Press, Daniel Kroening, Doron Peled, Edmund M. Clarke, Helmut Veith, Orna Grumberg,Computer science,Computing and Information Technology, technology;computers;computer;computer science;algorithm;algorithms;tech;ap computer science;computer books;programming;business;self help;how to;engineering;law;work;security;psychology;internet;medicine;school;guide;critical thinking;mathematics;education;design;manual;step by step;legal;ai;medical;collection;management;healthcare;career;economics;productivity;math;robotics;organization;21st century;coaching;logic;skills;philosophy;self improvement;leadership;culture;brain;statistics,, Cyber Physical Systems Series, United States, en-UShttps://www.penguinrandomhouse.comtechnology;computers;computer;computer science;algorithm;algorithms;tech;ap computer science;computer books;programming;business;self help;how to;engineering;law;work;security;psychology;internet;medicine;school;guide;critical thinking;mathematics;education;design;manual;step by step;legal;ai;medical;collection;management;healthcare;career;economics;productivity;math;robotics;organization;21st century;coaching;logic;skills;philosophy;self improvement;leadership;culture;brain;statistics, [BLURB],[CITY],,books, ebooks, biblet, Book2look