MARC 닫기
00617nam ac200217 k 4500
000003744017
20220101120000
ta
010731s1999 US 000 eng
▼a 3540664882
▼a 211070
▼c 211070
▼l WM0003032854
▼v 1698
▼a QA75.5
▼a QA75.5
▼b L4
▼c 1698
▼a Computer Safety Reliability and Security/
▼d Felici,Massimo;
▼e Kanoun,Karama;
▼e Pasquini,Alberto
▼a Berlin:
▼b Springer,
▼c 1999.
▼a 482p.
▼a Lecture Notes in Computer Science, 1698
▼a Felici,Massimo
▼a Kanoun,Karama
▼a Pasquini,Alberto
▼a 단행본
| 자료유형 : | 단행본 |
|---|---|
| ISBN : | 3540664882 |
| 분류기호 : | QA75.5 |
| 서명/저자사항 : | Computer Safety Reliability and Security/ Felici,Massimo; Kanoun,Karama; Pasquini,Alberto |
| 발행사항 : | Berlin: Springer, 1999. |
| 형태사항 : | 482p. |
| 총서사항 : | Lecture Notes in Computer Science, 1698 |
| 개인저자 : | Felici,Massimo |
| 개인저자 : | Kanoun,Karama |
| 개인저자 : | Pasquini,Alberto |
| 언어 | 영어 |
WMO200010639
권 호 : 482
발행년 : 1999
서 명 : Computer Safety Reliability and Security
발행처 : Felici,Massimo
목차
1. Assessment and Certification
2. Safety Assessment and Human Factors
3. Human Factors
4. Design for Safety
5. Verification and Testing
6. Dependability Analysis and Evaluation
7. Formal Methods and Security
Multivariate data analysis 8th ed
QA278 H153
서평쓰기