Rigorous Development of Complex Fault-Tolerant Systems

Many software systems have reached a level of complication, mainly because of their size, heterogeneity and distribution, which results in faults appearing that cannot be traced back easily to the code. Some of these "faults" could also be unexpected program behavior that appears as a resu...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Butler, Michael (Editor ), Jones, Cliff (Editor ), Romanovsky, Alexander (Editor ), Troubitsyna, Elena (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Edición:1st ed. 2006.
Colección:Programming and Software Engineering, 4157
Temas:
Computer science.
Computer networks .
Computer programming.
Software engineering.
Compilers (Computer programs).
Operating systems (Computers).
Theory of Computation.
Computer Communication Networks.
Programming Techniques.
Software Engineering.
Compilers and Interpreters.
Operating Systems.
Acceso en línea:Texto Completo

Ejemplares similares

Ejemplares similares