Normal view MARC view ISBD view

Calculus of computation : decision procedures with applications to verification / Aaron R. Bradley, Zohar Manna..

Material type: Text

TextPublisher: Berlin : Springer (India) Private Ltd. 2007Description: xv, 366 p. : Rs.599.00 ill. ; 25 cm.ISBN: 9788184893960(pbk.); 9783540741121.Subject(s): Computer logic | Computer programs -- VerificationOnline resources: Table of contents | Publisher description

Item type	Current location	Call number	Status	Date due	Barcode	Item holds
Book	Chennai Mathematical Institute General Stacks	511.3 BRA (Browse shelf)	Available		9152

Total holds: 0

Previous								Next
Previous	511.1 WAL A beginner's guide to discrete mathematics /	511.3 BIM Combinatory logic : pure, applied and typed /	511.3 BRA The mathematics of preference, choice, and order : essays in honor of Peter C. Fishburn /	511.3 BRA Calculus of computation : decision procedures with applications to verification /	511.3 BRU Models of computation.	511.3 COU Graph structure and monadic second-order logic : a language-theoretic approach /	511.3 COU Graph structure and monadic second-order logic : a language-theoretic approach /	Next

Includes bibliographical references (p.[351]-355) and index.

CMI Library