Principles of Model Checking, , MIT Press, Christel Baier, Joost-Pieter Katoen,Algorithms and data structures,Computer programming / software engineering, technology;computers;computer;algorithm;coding;code;computer programming;clean code;algorithms;tech;computer architecture;coding for beginners;operating systems;computer books;programmer gifts;computer programmer gifts;psychology;statistics;math;business;philosophy;mathematics;economics;self help;biology;sociology;programming;evolution;education;physics;logic;work;finance;personal development;trivia;self improvement;creativity;neuroscience;reference;data;ai;school;brain;sports;culture;numbers,, , United States, en-UShttps://www.penguinrandomhouse.comtechnology;computers;computer;algorithm;coding;code;computer programming;clean code;algorithms;tech;computer architecture;coding for beginners;operating systems;computer books;programmer gifts;computer programmer gifts;psychology;statistics;math;business;philosophy;mathematics;economics;self help;biology;sociology;programming;evolution;education;physics;logic;work;finance;personal development;trivia;self improvement;creativity;neuroscience;reference;data;ai;school;brain;sports;culture;numbers, [BLURB],[CITY],,books, ebooks, biblet, Book2look