The Calculus of Computation (Record no. 6879)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00404nam a22001457a 4500 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9788184893960 |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 004.015 |
| Item number | BRA/THE |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Bradley,Aaron R., |
| 9 (RLIN) | 7662 |
| 245 ## - TITLE STATEMENT | |
| Title | The Calculus of Computation |
| Remainder of title | Decision Procedures with Applications to Verification |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st Ed. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | New Delhi |
| Name of publisher, distributor, etc. | Springer |
| Date of publication, distribution, etc. | 2010 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 366p. |
| Other physical details | [08] |
| 700 ## - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Manna,Zohar |
| 9 (RLIN) | 7663 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Collection | Home library | Current library | Shelving location | Date acquired | Source of acquisition | Cost, normal purchase price | Total Checkouts | Full call number | Barcode | Date last seen | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dewey Decimal Classification | Computer Science | Don Bosco Institute of Technology Library | Don Bosco Institute of Technology Library | Book Cart | 22/09/2016 | The Corporate Book World | 750.00 | 004.015 BRA/THE | 17224 | 25/04/2023 | 22/09/2016 | BOOKS |