Ebook: Logic in Computer Science: Modelling and Reasoning about Systems
- Year: 1999
- Publisher: Cambridge University Press
- City: Cambridge
- Language: English
- djvu
1. Propositional logic; 2. Predicate logic; 3. Verification by model checking; 4. Program verification; 5. Modal logics and agents; 6. Binary decision diagram model checking; Bibliography; Index
Download the book Logic in Computer Science: Modelling and Reasoning about Systems for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)