The Calculus of Computation Decision Procedures with Applications to Verification

By: Bradley,Aaron R Contributor(s): Manna,Zohar Material type: Text

TextPublication details: New Delhi Springer 2010 Edition: 1st EdDescription: 366p. [08]ISBN: 9788184893960DDC classification: 004.015

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Status	Date due	Barcode
BOOKS	Don Bosco Institute of Technology Library Book Cart	Computer Science	004.015 BRA/THE (Browse shelf(Opens below))	Available		17224

There are no comments on this title.

to post a comment.