Normal view MARC view ISBD view

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

By: Bradley, Aaron R.
Contributor(s): Manna, Zohar.
Material type: TextTextPublisher: 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

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