Formal aspects in security and trust : (Record no. 157782)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01183nam a2200289 a 4500 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 0387240500 (hbk.) |
| 049 ## - LOCAL HOLDINGS (OCLC) | |
| Holding library | MAIN |
| 090 00 - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (RLIN) | |
| Classification number (OCLC) (R) ; Classification number, CALL (RLIN) (NR) | QA76.9.A25FOR |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20230123133953.0 |
| 040 ## - CATALOGING SOURCE | |
| Transcribing agency | NUST |
| 245 10 - TITLE STATEMENT | |
| Title | Formal aspects in security and trust : |
| Remainder of title | IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, 2004, Toulouse, France / |
| Statement of responsibility, etc. | edited by Theo Dimitrakos, Fabio Martinelli. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | New York : |
| Name of publisher, distributor, etc. | Springer |
| Date of publication, distribution, etc. | 2005. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | x, 246 p. : |
| Other physical details | ill. ; |
| Dimensions | 25 cm. |
| 440 1# - SERIES STATEMENT/ADDED ENTRY--TITLE | |
| Title | International Federation of Information Processing ; |
| Volume/sequential designation | 173 |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc. note | Includes bibliographical references. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer security |
| Form subdivision | Congresses. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Formal methods (Computer science) |
| Form subdivision | Congresses. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Trust |
| Form subdivision | Congresses. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Dimitrakos, Theo. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Martinelli, F. |
| Fuller form of name | (Fabio) |
| 711 2# - ADDED ENTRY--MEETING NAME | |
| Meeting name or jurisdiction name as entry element | IFIP World Computer Congress |
| Number of part/section/meeting | (18th : |
| Date of meeting or treaty signing | 2004 : |
| Location of meeting | Toulouse, France) |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| Uniform title | International Federation for Information Processing (Series) ; |
| Volume/sequential designation | 173. |
| 907 ## - LOCAL DATA ELEMENT G, LDG (RLIN) | |
| a | .b10159502 |
| b | 21-09-05 |
| c | 14-03-05 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | Ordinary Loan Books |
| Call number prefix | QA76.9.A25FOR |
| Date last seen | Total Checkouts | Full call number | Barcode | Cost, replacement price | Price effective from | Koha item type | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Collection | Withdrawn status | Home library | Current library | Shelving location | Date acquired | Cost, normal purchase price |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 01/23/2023 | 2 | QA76.9.A25 FOR | 92003022337 | 80.00 | 01/23/2023 | BOOKS | LCC | NFIC | MAIN | MAIN | GEN | 01/23/2023 | 80.00 |