FEEDBACK Smiley face
Bradley, Aaron R.

The calculus of computation : decision procedures with applications to verification by Aaron R. Bradley and Zohar Manna - New York : Springer, ©2007 - xv, 366 p. : ill. ; 22cm.

Includes bibliography and index

9788184893960


Computer science and engineering
Computer logic
Computer programs verification
Logic design
Algorithms

004.015 / BRA-C

© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in