Copertina
Codice QR

Integrated Formal Methods : 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014 : Proceedings /

Ponencias seleccionadas de la décima primera Conferencia Internacional sobre Métodos Formales Integrados, celebrada en Bertinoro, Italia, en septiembre de 2014. Los trabajos se presentan organizados en las siguientes secciones temáticas: integración de herramientas; verificación del modelo; desarrol...

Descrizione completa

Salvato in:
Ente Autore: International Conference on Integrated Formal Methods ( Bertinoro, Italia)
Altri autori: Albert, Elvira (edición) (edición), Sekerinski, Emil (edición) (edición)
Natura: Atti del Convegno Libro
Lingua:inglese
Pubblicazione: Cham, Suiza : Springer, 2014, c2014
Serie:(Lecture Notes in Computer Science ; 8739)
Soggetti:
Paquetes (Software) - > Planeación
Paquetes (Software) - > Prueba y Medición
Arquitectura de Software - > Prueba y Medición
Ingeniería de Software - > Tema Principal
Programación (Software) - > Planeación
Programación (Software) - > Tema Principal
Desarrollo de Sistemas - > Congresos - > Tema Principal
Sistemas Computacionales
Ingeniería Computacional
Accesso online:Ver documento en línea
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
Riassunto:Ponencias seleccionadas de la décima primera Conferencia Internacional sobre Métodos Formales Integrados, celebrada en Bertinoro, Italia, en septiembre de 2014. Los trabajos se presentan organizados en las siguientes secciones temáticas: integración de herramientas; verificación del modelo; desarrollo del programa; análisis de seguridad; análisis y transformación; y concurrencia y control.
Descrizione fisica:1 libro electrónico en línea (XII, 390 p.)
1 recurso en línea
ISBN:978-3-319-10181-1
Accesso:Licencias ilimitadas

Documenti analoghi