RIGOROUS SOFTWARE DEVELOPMENT: AN INTRODUCTION TO PROGRAM VERIFICATION (Record no. 52960)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00542nam a2200217Ia 4500 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9780857290175 |
| 041 ## - LANGUAGE CODE | |
| Language code of text/sound track or separate title | English |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 005.3 ALM |
| 100 ## - MAIN ENTRY--AUTHOR NAME | |
| Personal name | ALMEIDA AND ETC |
| 111 ## - MAIN ENTRY--MEETING NAME | |
| Meeting name or jurisdiction name as entry element | NO |
| 245 ## - TITLE STATEMENT | |
| Title | RIGOROUS SOFTWARE DEVELOPMENT: AN INTRODUCTION TO PROGRAM VERIFICATION |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Name of publisher | SPRINGER |
| Year of publication | 2011 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | 263 |
| Other physical details | 25 |
| Type of unit | Paper |
| 365 ## - TRADE PRICE | |
| Price amount | 3121.04 |
| Unit of pricing | Rupees |
| 366 ## - TRADE AVAILABILITY INFORMATION | |
| Note | PURCHASE |
| 541 ## - IMMEDIATE SOURCE OF ACQUISITION NOTE | |
| Source of acquisition | ALLIED |
| Date of acquisition | 21-12-2013 |
| Method of acquisition | Supplier |
| 652 ## - SUBJECT ADDED ENTRY--REVERSE GEOGRAPHIC (BK MP SE) [OBSOLETE] | |
| Geographic name of place element | SOFTWARE |
| 852 ## - LOCATION/CALL NUMBER | |
| Location | CENTRAL LIBRARY |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | Books |
| Home library | Current library | Date acquired | Cost, normal purchase price | Full call number | Accession Number | Invoice Number | Koha item type | Department |
|---|---|---|---|---|---|---|---|---|
| Central Library - SSNCE | Central Library - SSNCE | 03/02/2015 | 1195.00 | 005.3 ALM | 62734 | 3032 | Books | CSE |
| Central Library - SSNCE | Central Library - SSNCE | 03/02/2015 | 1195.00 | 005.3 ALM | 62735 | 3032 | Books | CSE |