The Calculus of Computation Decision Procedures with Applications to Verification /

Computational logic is a fast-growing field with applications in artificial intelligence, constraint solving, and the design and verification of software and hardware systems. Written with graduate and advanced undergraduate students in mind, this textbook introduces computational logic from the fou...

Full description

Main Authors: Bradley, Aaron R. (Author), Manna, Zohar. (Author)
Corporate Author: SpringerLink (Online service)
Format: SpringerLink eBooks
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
Subjects:
Online Access:http://dx.doi.org/10.1007/978-3-540-74113-8

Internet

http://dx.doi.org/10.1007/978-3-540-74113-8

3rd Floor Main Library

Call Number: A1234.567
Copy 1 Available