Principles of Model Checking
Principles of Model Checking provides a rigorous foundation for the automated verification of complex computer systems. As hardware and software become more intricate, the risk of hidden errors grows, making systematic debugging techniques vital. This text explores how to model concurrent systems and verify critical properties like safety, liveness, and fairness. By using mathematical logic and a…
Shelves
More like this
Rationality: From AI to Zombies
Eliezer Yudkowsky presents a comprehensive exploration of the human mind and its frequent failures in reasoning. Moving beyond the trope of the em…
Designing Data-Intensive Applications
Data is at the center of many challenges in system design today. Difficult issues need to be figured out, such as scalability, consistency, reliab…
Gödel's Proof
Kurt Godel changed the landscape of modern thought in 1931 when he proved that some mathematical truths can never be formally demonstrated. His In…
The Universal Computer: The Road from Leibniz to Turing
Computers are everywhere today -- at work, in the bank, in artist's studios, sometimes even in our pockets -- yet they remain to many of us object…
The Haskell Road to Logic, Maths and Programming
The Haskell Road to Logic, Maths and Programming provides a practical bridge between abstract mathematical reasoning and functional programming. B…
Automata and Computability
Dexter C. Kozen presents a rigorous yet accessible journey through the theoretical foundations of computer science. This textbook transforms compl…
Refactoring: Improving the Design of Existing Code
As the application of object technology—particularly the Java programming language—has become commonplace, a new problem has emerged to confront t…
An Investigation of the Laws of Thought
George Boole changed the course of human history with this foundational 1854 masterpiece. Before its publication, logic remained largely unchanged…
Cracking the Coding Interview: 150 Programming Questions and Solutions
Now in the 5th edition, Cracking the Coding Interview gives you the interview preparation you need to get the top software developer jobs. This is…
Effective Java
Since this Jolt-award winning classic was last updated in 2008 (shortly after Java 6 was released), Java has changed dramatically. The principal e…
Program = Proof
Program = Proof explores the deep connection between computer science and mathematical logic through the lens of the Curry-Howard correspondence. …
COPELAND:ESSENTIAL TURING PAPER: Seminal Writings in Computing, Logic, Philosophy, Artificial Intelligence, and Artificial Life plus The Secrets of Enigma
Alan Turing was one of the most influential thinkers of the 20th century. In 1935, aged 22, he developed the mathematical theory upon which all su…