Your browser has limited support for third-party cookies, which may prevent you from viewing this content. If you run into problems, you can view the content in a
new window.
-
Galin, D. (2004), Software quality assurance: from theory to implementation.
-
Piattini, M., del Peso, E., (2015), Auditoría de tecnologías y sistemas de información [Libro-e]
-
Peled, D. (2001), Software reliability methods
-
Bérard, B., Bidoit, M. et al, (2001), Systems and Software Verification
-
Bérard, B., Bidoit, M. et al, (2001), Systems and Software Verification [Libro-e]
-
Clarke, E. M., Grumberg Jr, O., Peled, D. A. (2002), Model checking,
-
Clavel et al. (2007), All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic
-
Clavel et al. (2007), All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic [Libro-e]
Conozco y acepto que el uso de los materiales contenidos en estas guías se realiza con finalidad de estudio, de apoyo a la docencia y la investigación. Se respetarán las condiciones de uso y contratación de cada uno de los recursos.
