The Calculus Of Computation: decision procedures with applications to verification
By: Bradley, Aaron R.
Contributor(s): Manna, Zohar.
Material type:
BookPublisher: india Springer, 2010Description: XV,366p.ISBN: 3642093477 (paperback); 9783642093470 (paperback).Subject(s): Computer logic | Computer programs--Verification | Computer science | Computer software | Logic design | Information theory | Artificial intelligence | Computer network architecturesDDC classification: 004.015113BRA Online resources: Download eBook
| Item type | Current location | Collection | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
Books
|
Reference Section Reference | Reference | 515BRA (Shelf - 28B) (Browse shelf) | Available | 41376 | ||
|
Books
|
Reference Section Reference | Reference | 515BRA (Shelf - 28B) (Browse shelf) | Available | 41377 |
Total holds: 0
Browsing Reference Section Shelves , Shelving location: Reference , Collection code: Reference Close shelf browser
| 511.3 (Shelf-02D) Introduction to Computer Theory / | 512.02 DUM (Shelf - 27D) Abstract Algebra | 515.5PUZ Constitutive Modelling in Geomechanics: introduction | 515BRA (Shelf - 28B) The Calculus Of Computation: decision procedures with applications to verification | 515BRA (Shelf - 28B) The Calculus Of Computation: decision procedures with applications to verification | 518.02462CHA (Shelf-30B) Numerical Methods for Engineers | 518.028DUK MATLAB: an introduction with applications |
Click on an image to view it in the image viewer
There are no comments for this item.