Amazon cover image
Image from Amazon.com
Image from Google Jackets
Image from OpenLibrary

Calculus of computation Decision procedures with applications to verification /

By: Contributor(s): Material type: TextTextPublication details: New Delhi : Springer , 2007.Description: xv+366ISBN:
  • 9788184893960
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 General Kerala University Library Kerala University Library D6513 P77 (Browse shelf(Opens below)) Available 282609

There are no comments on this title.

to post a comment.