Deductive Software Verification - The KeY Book From Theory to Practice /

Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering. It consists of a large portfolio of - mostly fully automated - analyses: formal verification, test generation, security analysis, visuali...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Ahrendt, Wolfgang (Editor ), Beckert, Bernhard (Editor ), Bubel, Richard (Editor ), Hähnle, Reiner (Editor ), Schmitt, Peter H. (Editor ), Ulbrich, Mattias (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2016.
Edición:1st ed. 2016.
Colección:Programming and Software Engineering, 10001
Temas:
Software engineering.
Computer science.
Machine theory.
Compilers (Computer programs).
Artificial intelligence.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
Compilers and Interpreters.
Artificial Intelligence.
Acceso en línea:Texto Completo

Internet

Texto Completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares