Formal Methods and Testing An Outcome of the FORTEST Network. Revised Selected Papers /

This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network - formed as a network established under UK EPSRC funding that investigated the relationships between formal (and semi-formal) methods and software testing - now being a subject...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Hierons, Robert M. (Editor ), Bowen, Jonathan P. (Editor ), Harman, Mark (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Edición:1st ed. 2008.
Colección:Programming and Software Engineering, 4949
Temas:
Software engineering.
Compilers (Computer programs).
Computer science.
Electronic data processing-Management.
Software Engineering.
Compilers and Interpreters.
Computer Science Logic and Foundations of Programming.
IT Operations.
Acceso en línea:Texto Completo

Internet

Texto Completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares