Formal Methods: State of the Art and New Directions

The last decade has witnessed a modest but sustained increase in researching and applying formal methods. A number of well cited success stories are now available and provide strong evidence that formal methods can be effective and deployed in industrial-scale applications. Through fundamental contr...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Boca, Paul (Editor ), Bowen, Jonathan P. (Editor ), Siddiqi, Jawed (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: London : Springer London : Imprint: Springer, 2010.
Edición:1st ed. 2010.
Temas:
Software engineering.
Machine theory.
Compilers (Computer programs).
Software Engineering.
Formal Languages and Automata Theory.
Compilers and Interpreters.
Acceso en línea:Texto Completo

Internet

Texto Completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares