Logic in Computer Science : Modelling and Reasoning about System /
Michel Huth
- 2nd ed
- New York Cambridge Universty 2004
- XIII, 418
Propositional Logic (Page-1), Predicate Logic (Page-93), Verification by model Checking (Page-172), Program Verification (Page-256), Model Logic and Agents (Page-304), Binary Decision Diagrams (Page-358),