FM 2009: Formal Methods Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings /

This book presents the refereed proceedings of FM 2009, the 16th International Symposium on Formal Methods, held as the Second World Congress on Formal Methods in Eindhoven, The Netherlands, in November 2009 in the course of the first International Formal Methods Week, FMWeek 2009. The 45 revised fu...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Cavalcanti, Ana (Editor ), Dams, Dennis (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
Edición:1st ed. 2009.
Colección:Programming and Software Engineering, 5850
Temas:
Software engineering.
User interfaces (Computer systems).
Human-computer interaction.
Computer science.
Compilers (Computer programs).
Computer programming.
Software Engineering.
User Interfaces and Human Computer Interaction.
Computer Science Logic and Foundations of Programming.
Compilers and Interpreters.
Programming Techniques.
Acceso en línea:Texto Completo

Internet

Texto Completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares