Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II /

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, 2010.
Edición:1st ed. 2010.
Colección:Theoretical Computer Science and General Issues, 6416
Temas:
Computer networks .
Computer science.
Software engineering.
Compilers (Computer programs).
Application software.
Data mining.
Computer Communication Networks.
Computer Science Logic and Foundations of Programming.
Software Engineering.
Compilers and Interpreters.
Computer and Information Systems Applications.
Data Mining and Knowledge Discovery.
Acceso en línea:Texto Completo
Descripción
Descripción Física:XV, 498 p. 157 illus. online resource.
ISBN:9783642165610
ISSN:2512-2029 ;

Ejemplares similares