Calculus of Computation:decision procedures with applications to verification Aaron R.Bradley and Zohar Manna [Text]

By:

Contributor(s):

Material type: Text

TextLanguage: English Publication details: New Delhi Springer 2010Description: 366p; 24cmISBN:

Subject(s):

DDC classification:

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	Call number	Status	Notes	Date due	Barcode
RESERVE BOOKS	CENTRAL LIBRARY	004.0151 BRA/C (Browse shelf(Opens below))	Not For Loan	045290		045290

index included

There are no comments on this title.

to post a comment.