Open systems dependability : (Record no. 48806)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01449cmm a2200265 a 4500 |
| 001 - CONTROL NUMBER | |
| control field | 46796 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | IN-BdCUP |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20230426175558.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 230426s2023 u eng |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781498736299 |
| 040 ## - CATALOGING SOURCE | |
| Language of cataloging | eng |
| Transcribing agency | IN-BdCUP |
| 041 ## - LANGUAGE CODE | |
| Language code of text/sound track or separate title | eng |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 004.200 |
| Item number | O611 |
| 245 #0 - TITLE STATEMENT | |
| Title | Open systems dependability : |
| Remainder of title | dependability engineering for ever-changing systems / |
| Statement of responsibility, etc. | editor, Mario Tokoro, Co-founder, executive advisor, Sony Computer Science Laboratories, Incorporated, Tokyo, Japan, formerly Sr. Vice President and CTO, Sony Corporati |
| 250 ## - EDITION STATEMENT | |
| Edition statement | Second edition |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Boca Raton, Florida : |
| Name of publisher, distributor, etc. | CRC Press, |
| Date of publication, distribution, etc. | [2015];©2015 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 1 online resource |
| 503 ## - BIBLIOGRAPHIC HISTORY NOTE (BK CF MU) [OBSOLETE] | |
| Bibliographic history note | A Science Publishers book--title page |
| 505 ## - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 1. Introduction -- 2. Open systems dependability -- 3. The DEOS technological system -- 4. D-Case : building consensus and achieving accountability -- 5. D-Case tools -- 6. D-Case integrity checking tool and formal assurance case -- 7. D-RE : the DEOS runtime environment -- 8. D-Script : support for system operation based on D-Case agreements -- 9. D-ADD : the Agreement Description Database -- 10. Standardization of open systems dependability -- 11. Conclusions |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer systems |
| Topical term or geographic name entry element | Fault-tolerant computing |
| 700 ## - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Tokoro, Mario |
| Relator term | Editor |
| 856 ## - ELECTRONIC LOCATION AND ACCESS | |
| Materials specified | Electronic Book Resource |
| Uniform Resource Identifier | <a href="https://www.taylorfrancis.com/books/9781498736299">https://www.taylorfrancis.com/books/9781498736299</a> |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Dewey Decimal Classification |
| Koha item type | E-Book |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Home library | Current library | Date acquired | Source of acquisition | Total checkouts | Full call number | Barcode | Date last seen | Uniform resource identifier | Bill Date | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dewey Decimal Classification | Ranganathan Library | Ranganathan Library | 07/04/2022 | Taylor & Francis | 004.200 O611 | E01400 | 26/04/2023 | https://www.taylorfrancis.com/books/9781498736299 | 07/04/2022 | E-Book |