Software Engineering for Resilient Systems : 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings /

Detalles Bibliográficos
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Romanovsky, Alexander. (Editor ), Troubitsyna, Elena A. (Editor )
Formato: eBook
Lenguaje:English
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edición:1st ed. 2017.
Colección:Programming and Software Engineering ; 10479
Materias:
LEADER 01769nam a22004095i 4500
001 000293545
005 20211005184324.0
007 cr nn 008mamaa
008 170810s2017 gw | s |||| 0|eng d
020 |a 9783319659480 
024 7 |a 10.1007/978-3-319-65948-0  |2 doi 
040 |a Sistema de Bibliotecas del Tecnológico de Costa Rica 
245 1 0 |a Software Engineering for Resilient Systems :  |b 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings /  |c edited by Alexander Romanovsky, Elena A. Troubitsyna. 
250 |a 1st ed. 2017. 
260 # # |a Cham :  |b Springer International Publishing :  |b Imprint: Springer,  |c 2017. 
300 |a XIV, 201 p. 56 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 10479 
505 0 |a Modeling and specification -- Safety and security -- Fault tolerance, resilience and robustness software. 
650 0 |a Software engineering. 
650 0 |a Computer logic. 
650 0 |a Programming languages (Electronic computers). 
650 0 |a Computer system failures. 
650 0 |a Computers. 
650 0 |a Artificial intelligence. 
650 1 4 |a Software Engineering. 
650 2 4 |a Logics and Meanings of Programs. 
650 2 4 |a Programming Languages, Compilers, Interpreters. 
650 2 4 |a System Performance and Evaluation. 
650 2 4 |a The Computing Profession. 
650 2 4 |a Artificial Intelligence. 
700 1 |a Romanovsky, Alexander.  |e editor.  |0 (orcid)0000-0002-4076-3331  |1 https://orcid.org/0000-0002-4076-3331 
700 1 |a Troubitsyna, Elena A.  |e editor. 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks