FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings /

This book constitutes the refereed proceedings of the 19th International Symposium on Formal Methods, FM 2014, held in Singapore, May 2014. The 45 papers presented together with 3 invited talks were carefully reviewed and selected from 150 submissions. The focus of the papers is on the following top...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Jones, Cliff (Editor ), Pihlajasaari, Pekka (Editor ), Sun, Jun (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2014.
Edición:1st ed. 2014.
Colección:Programming and Software Engineering, 8442
Temas:
Software engineering.
Machine theory.
Computer science.
Electronic data processing-Management.
Software Engineering.
Formal Languages and Automata Theory.
Computer Science Logic and Foundations of Programming.
IT Operations.
Theory of Computation.
Acceso en línea:Texto Completo

Internet

Texto Completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares