Computer Safety, Reliability, and Security : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings /

Computer Safety, Reliability, and Security : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings /

Detalles Bibliográficos
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Tonetta, Stefano. (Editor ), Schoitsch, Erwin. (Editor ), Bitsch, Friedemann. (Editor )
Formato: eBook
Lenguaje:English
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edición:1st ed. 2017.
Colección:Programming and Software Engineering ; 10488
Materias:
Computer logic.
Programming languages (Electronic computers).
Software engineering.
Computer security.
Application software.
Computer organization.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Systems and Data Security.
Computer Applications.
Computer Systems Organization and Communication Networks.
LEADER 02055nam a22004215i 4500
001 000282332
005 20211020105032.0
007 cr nn 008mamaa
008 170816s2017 gw | s |||| 0|eng d
020 |a 9783319662664 
024 7 |a 10.1007/978-3-319-66266-4  |2 doi 
040 |a Sistema de Bibliotecas del Tecnológico de Costa Rica 
245 1 0 |a Computer Safety, Reliability, and Security :  |b 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings /  |c edited by Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch. 
250 |a 1st ed. 2017. 
260 # # |a Cham :  |b Springer International Publishing :  |b Imprint: Springer,  |c 2017. 
300 |a XIX, 344 p. 107 illus. :  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 1 |a Programming and Software Engineering ;  |v 10488 
505 0 |a Dynamic fault trees -- Safety case and argumentation -- Formal verification -- Autonomous systems -- Static analysis and testing -- Safety analysis and assessment -- Safety and security. 
650 0 |a Computer logic. 
650 0 |a Programming languages (Electronic computers). 
650 0 |a Software engineering. 
650 0 |a Computer security. 
650 0 |a Application software. 
650 0 |a Computer organization. 
650 1 4 |a Logics and Meanings of Programs. 
650 2 4 |a Programming Languages, Compilers, Interpreters. 
650 2 4 |a Software Engineering. 
650 2 4 |a Systems and Data Security. 
650 2 4 |a Computer Applications. 
650 2 4 |a Computer Systems Organization and Communication Networks. 
700 1 |a Tonetta, Stefano.  |e editor.  |0 (orcid)0000-0001-9091-7899  |1 https://orcid.org/0000-0001-9091-7899 
700 1 |a Schoitsch, Erwin.  |e editor.  |0 (orcid)0000-0002-0335-5443  |1 https://orcid.org/0000-0002-0335-5443 
700 1 |a Bitsch, Friedemann.  |e editor.  |0 (orcid)0000-0001-6152-4121  |1 https://orcid.org/0000-0001-6152-4121 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 

Ejemplares similares