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

Previous								Next
Previous	004.01 GRE/F Fundamentals of the Theory of Computation: Principles and Practice	004.01 MOR/T Theory of Computation	004.01 MOR/T Theory of Computation	004.0151 BRA/C Calculus of Computation:decision procedures with applications to verification	004.0151 GOP/C Computation Engineering :applied automata theory and logic	004.0151 RAO/M Mathematical Foundation of Computer Science	004.0151 RAO/M Mathematical Foundation of Computer Science	Next

index included

There are no comments on this title.

to post a comment.