Calculus of computation Decision procedures with applications to verification /

By:

Contributor(s):

Material type: Text

TextPublication details: New Delhi : Springer , 2007.Description: xv+366ISBN:

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

Holdings
Item type	Current library	Home library	Call number	Status	Date due	Barcode
General	Kerala University Library	Kerala University Library	D6513 P77 (Browse shelf(Opens below))	Available		282609

Previous					No cover image available No cover image available			Next
Previous	D6513 P74 Making sense of software quality assurance Gaining from quality audits and assessments /	D6513 P75 Fundamentals of computer aided manufacturing /	D6513 P76 Software engineering A concise study /	D6513 P77 Calculus of computation Decision procedures with applications to verification /	D6513 P8 CAD/CAM Concepts and applications /	D6513 P81 Software quality A practitioner's approach /	D6513 P82 Computer integrated manufacturing /	Next

There are no comments on this title.

to post a comment.