Bradley, Aaron R.
The Calculus of Computation Decision Procedures with Applications to Verification / [electronic resource] : by Aaron R. Bradley, Zohar Manna. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - digital.
9783540741138
10.1007/978-3-540-74113-8 doi
Computer science.
Information theory.
Computer software.
Logic design.
Computer Science.
Theory of Computation.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Mathematical Logic and Formal Languages.
QA75.5-76.95
004.0151
The Calculus of Computation Decision Procedures with Applications to Verification / [electronic resource] : by Aaron R. Bradley, Zohar Manna. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - digital.
9783540741138
10.1007/978-3-540-74113-8 doi
Computer science.
Information theory.
Computer software.
Logic design.
Computer Science.
Theory of Computation.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Mathematical Logic and Formal Languages.
QA75.5-76.95
004.0151