Formal Methods and Software Engineering : 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014 : Proceedings /
Selección de las ponencias presentadas en la décima sexta Conferencia Internacional sobre Métodos de Ingeniería Formal, celebrada en Luxemburgo, Luxemburgo, en noviembre de 2014. Los documentos dan cuenta de una amplia gama de temas relacionados con los métodos formales y la ingeniería de software,...
Guardado en:
| Autor corporativo: | |
|---|---|
| Otros autores: | , |
| Formato: | Procedimiento de la conferencia Libro |
| Idioma: | Inglés |
| Publicado: |
Heidelberg, Alemania :
Springer,
2014, c2014
|
| Colección: | (Lecture Notes in Computer Science ;
8829) |
| Temas: | |
| Acceso en línea: | Ver documento en línea |
| Etiquetas: |
Sin etiquetas, Sé el primero en etiquetar este registro!
|
Ejemplares similares: Formal Methods and Software Engineering :
- Software Engineering and Formal Methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014 : Proceedings /
- Formal Languages and Compilation /
- Formal Aspects of Component Software : 10th International Symposium, FACS 2013, Nanchang, China, October 27–29, 2013 : Revised Selected Papers /
- Compiler Construction : 23rd International Conference, CC 2014 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : Proceedings /
- Software Engineering and Formal Methods : SEFM 2013 Collocated Workshops : BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert Madrid, Spain, September 23-24, 2013 : Revised Selected Papers /
- Model-Driven Engineering Languages and Systems : 17th International Conference, MODELS 2014, Valencia, Spain, September 28-October 3, 2014 : Proceedings /