Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

This book constitutes the thoroughly refereed proceedings of the Third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Porto Sani, Greece, in October 2008 The 68 revised full papers presented together with 2 invited talks and 1 keynote speec...

Descripción completa

Detalles Bibliográficos

Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Margaria, Tiziana (Editor ), Steffen, Bernhard (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Edición:	1st ed. 2008.
Colección:	Communications in Computer and Information Science, 17
Temas:	Software engineering. Computer science. Computer programming. Computer simulation. Software Engineering. Theory of Computation. Programming Techniques. Models of Computation. Computer Modelling.
Acceso en línea:	Texto Completo