Formal Correctness of Security Protocols (Record no. 25440)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00389nam a22001577a 4500 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | AUCL |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20231011122557.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 200730b ||||| |||| 00| 0 eng d |
| 040 ## - CATALOGING SOURCE | |
| Transcribing agency | AUCL |
| 050 ## - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | 005.8 |
| Item number | BEL-F |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 005.8 |
| Item number | BEL-F |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Bella Giampaolo |
| 245 ## - TITLE STATEMENT | |
| Title | Formal Correctness of Security Protocols |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Heidelberg |
| Name of publisher, distributor, etc. | Springer |
| Date of publication, distribution, etc. | 2007 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Dewey Decimal Classification |
| Koha item type | Book |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Collection code | Home library | Current library | Shelving location | Date acquired | Source of acquisition | Cost, normal purchase price | Inventory number | Total Checkouts | Full call number | Barcode | Date last seen | Date last checked out | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dewey Decimal Classification | Computer Science | Air University Central Library Islamabad | Air University Central Library Islamabad | Computer Science | 07/30/2020 | Progressive | 9042.00 | 69030291 | 1 | 005.8 BEL-F | P5355 | 07/29/2024 | 06/10/2024 | 07/30/2020 | Book |