729:-
Uppskattad leveranstid 7-12 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
This volume contains the papers presented at the SAFECOMP '95, the 14th International Conference on Computer Safety, Reliability and Security, held in Belgirate, Italy, 11-13 October 1995. The papers cover all the main topics which are relevant to the safety lifecycle, including general guidelines, legal and human aspects, safety analysis, formal methods, design, verification and validation, reliability issues, dependable software technology, and safety-related applications. The volume should be useful reading to those in universities, research institutions, industry and business who wish to be well-informed about computer safety, reliability and security.
- Format: Pocket/Paperback
- ISBN: 9783540199625
- Språk: Engelska
- Antal sidor: 516
- Utgivningsdatum: 1995-10-13
- Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG