003.3
Bradley, Aaron R.
The Calculus of Computation : Decision Procedures with Applications to Verification / [electronic resource] :
/ by Aaron R. Bradley, Zohar Manna.
.- XVI, 366 p. 60 illus.. online resource.
QA76.9.A73 QA76.9.S88
ISBN: 9783540741138
10.1007/978-3-540-74113-8 doi
Subject Headings:
Computer science.;
Architecture, Computer.;
Computers.;
Algorithms.;
Computer logic.;
Mathematical logic.;
Artificial intelligence.;
Computer Science.;
Computer System Implementation.;
Artificial Intelligence (incl. Robotics).;
Theory of Computation.;
Logics and Meanings of Programs.;
Algorithm Analysis and Problem Complexity.;
Mathematical Logic and Formal Languages.;
Author Added Entry:
Manna, Zohar.;
Copy Details:
Acc. No.: EBK1578, Full Call No.: , Item type: E books , Location: ,
------------------------- --------------------- ------ --------- ------- ------- --------- --------