Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino /

Long gone are the days when program veri?cation was a task carried out merely by hand with paper and pen. For one, we are increasingly interested in proving actual program artifacts, not just abstractions thereof or core algorithms. The programs we want to verify today are thus longer, including who...

Descripción completa

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

Internet

Texto Completo

Items no disponibles

Items no disponibles

Detalle de Existencias desde

Ejemplares similares