Michel, Huth

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),

978-05-2154310-1

005.1,HUT