| 000 -LEADER |
|---|
| fixed length control field |
00830nam a2200217Ia 4500 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
161214s9999 xx 000 0 und d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3540201262 |
| Terms of availability |
pbk |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
004 |
| Item number |
LIT |
| 100 ## - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Anderson, Stuart |
| 245 #0 - TITLE STATEMENT |
|---|
| Title |
Computer Safety, Reliability, and Security : 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003 : Proceedings |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc |
Berlin: |
| Name of publisher, distributor, etc |
Springer-Verlag, |
| Date of publication, distribution, etc |
2003 |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
xix, 423 p.; |
| Other physical details |
ill., index: |
| Dimensions |
24 cm. |
| 365 ## - TRADE PRICE |
|---|
| Price type code |
INR |
| Price amount |
3267.00/ EURO 54.00 |
| 490 ## - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in computer science |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc |
This book constitutes the refereed proceedings of the 22nd International Conference on Computer Safety, Reliability and Security, SAFECOMP 2003, held in Edinburgh, UK in September 2003. The 30 revised full papers presented together with two keynote talk abstracts were carefully reviewed and selected from 96 submissions. The papers are organized in topical sections on formal methods, design for dependability, security and formal methods, dependability and performance analysis, dependability of medical systems, fault tolerance, tools for dependable design, dependability of critical infrastructures, hazard and safety analysis, and design for dependability |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer security |
|
|---|
| Topical term or geographic name as entry element |
Software Engineering |
|
|---|
| Topical term or geographic name as entry element |
Programming and Operating Systems |
|
|---|
| Topical term or geographic name as entry element |
Management of Computing and Information Systems |
|
|---|
| Topical term or geographic name as entry element |
Special Purpose and Application-Based Systems |
|
|---|
| Topical term or geographic name as entry element |
Coding and Information Theory |
|
|---|
| Topical term or geographic name as entry element |
Logics and Meanings of Programs |
|
|---|
| Topical term or geographic name as entry element |
Dependability of medical systems |
|
|---|
| Topical term or geographic name as entry element |
Dependability and performance analysis |
|
|---|
| Topical term or geographic name as entry element |
Dependability of critical infrastructures |
|
|---|
| Topical term or geographic name as entry element |
Fault tolerance |
|
|---|
| Topical term or geographic name as entry element |
Tools for dependable design |
|
|---|
| Topical term or geographic name as entry element |
Design for dependability |
|
|---|
| Topical term or geographic name as entry element |
Hazard and safety analysis |
|
|---|
| Topical term or geographic name as entry element |
Information systems |
|
|---|
| Topical term or geographic name as entry element |
Computer science |
|
|---|
| Topical term or geographic name as entry element |
Software engineering |
|
|---|
| Topical term or geographic name as entry element |
Coding theory |
|
|---|
| Topical term or geographic name as entry element |
Computer software |
|
|---|
| Topical term or geographic name as entry element |
Logic design |
|
|---|
| Topical term or geographic name as entry element |
Electronic digital computers |
|
|---|
| Topical term or geographic name as entry element |
Industrial safety |
| 700 ## - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Felici, Massimo |
|
|---|
| Personal name |
Littlewood, Bev |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Source of classification or shelving scheme |
|
| Item type |
Books |