00915nam a2200301 a 4500 5900 5900 PK-NaQUE 20250520153712.0 250224b ||||| |||| 00| 0 eng d 3642093477 (paperback) 9783642093470 (paperback) QUEST 004.015113BRA Bradley, Aaron R. The Calculus Of Computation: decision procedures with applications to verification india Springer, 2010. XV,366p. Computer logic Computer programs--Verification Computer science Computer software Logic design Information theory Artificial intelligence Computer network architectures Manna, Zohar. http://10.10.170.122:8080/browse/book/26622 Download eBook BK ddc 0 0 0 0 REF REF REF REF 2014-06-10 1733.00 0 515BRA (Shelf - 28B) 41376 2014-06-10 00:00:00 BK 0 0 0 0 REF REF REF REF 2014-06-10 1733.00 0 515BRA (Shelf - 28B) 41377 2014-06-10 00:00:00 BK