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 I /

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, 6415
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

Internet

Texto Completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares