| Tag |
First Indicator |
Second Indicator |
Subfields |
| LEADER |
00000cam a2200000Ma 4500 |
| 001 |
in00003545331 |
| 006 |
m o d |
| 007 |
cr nn||||||||| |
| 008 |
121227s1997 enk o 000 0 eng d |
| 005 |
20260421172742.4 |
| 020 |
|
|
|a 9781447109976 (electronic bk.)
|
| 020 |
|
|
|a 144710997X (electronic bk.)
|
| 035 |
|
|
|a (OCoLC)840277308
|
| 040 |
|
|
|a I9W
|b eng
|e pn
|c I9W
|d OCLCQ
|d UV0
|d OCLCO
|d GW5XE
|d UtOrBLW
|
| 049 |
|
|
|a TXAM
|
| 050 |
|
4 |
|a QA76.758
|
| 082 |
0 |
4 |
|a 005.1
|2 23
|
| 100 |
1 |
|
|a Daniel, Peter.
|
| 245 |
1 |
0 |
|a Safe Comp 97 :
|b the 16th International Conference on Computer Safety, Reliability and Security /
|c edited by Peter Daniel.
|
| 246 |
3 |
|
|a York, UK, September 7 - 10, 1997
|
| 264 |
|
1 |
|a London :
|b Springer London,
|c 1997.
|
| 300 |
|
|
|a 1 online resource (XIII, 381 pages)
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 520 |
|
|
|a This volume contains the proceedings of SAFECOMP'97, the 16th International Conference on Computer Safety, Reliability and Security, held in York, 7-10 September 1997. The papers presented here form a platform for technology transfer between academia, industry and research institutions. Topics included are: safe software; safety cases, management and development; security; human factors; guidelines, standards and certification; formal methods and models; applications and industrial experience; testing, validation and verification. SAFECOMP'97 will be of interest to all those in universities, research institutions, industry and business who want to be well-informed about the current international state of the art in computer safety, reliability and security. It provides a representative sample of recent research results and applications problems, presented by experts from both industry and academia.
|
| 500 |
|
|
|a Electronic resource.
|
| 650 |
|
0 |
|a Computer science.
|
| 650 |
|
0 |
|a Computer system performance.
|
| 650 |
|
0 |
|a Software engineering.
|
| 655 |
|
7 |
|a Electronic books.
|2 local
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|
| 856 |
4 |
0 |
|u http://proxy.library.tamu.edu/login?url=https://link.springer.com/10.1007/978-1-4471-0997-6
|z Connect to the full text of this electronic book
|t 0
|
| 994 |
|
|
|a 92
|b TXA
|
| 999 |
|
|
|a MARS
|
| 999 |
f |
f |
|s 742aec40-0770-35da-b7c1-9d081988d403
|i 6d9bb488-180e-3c98-9c7d-3a6648d41845
|t 0
|
| 952 |
f |
f |
|a Texas A&M University
|b College Station
|c Electronic Resources
|s www_evans
|d Available Online
|t 0
|e QA76.758
|h Library of Congress classification
|
| 998 |
f |
f |
|a QA76.758
|t 0
|l Available Online
|