| TÃtulo : |
22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings |
| Tipo de documento: |
documento electrónico |
| Autores: |
Lin, Shang-Wei, ; Hou, Zhe, ; Mahony, Brendan, |
| Mención de edición: |
1 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2020 |
| Número de páginas: |
XI, 335 p. 98 ilustraciones, 48 ilustraciones en color. |
| ISBN/ISSN/DL: |
978-3-030-63406-3 |
| Nota general: |
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. |
| Palabras clave: |
Ciencias de la Computación IngenierÃa de software Software de la aplicacion Compiladores (programas informáticos) Programación lógica Procesamiento del lenguaje natural (Informática) TeorÃa de la Computación Aplicaciones informáticas y de sistemas de información Compiladores e intérpretes Lógica en IA Procesamiento del lenguaje natural (PNL) |
| Clasificación: |
|
| Resumen: |
Este libro constituye las actas de la 22.ª Conferencia Internacional sobre Métodos de IngenierÃa Formal, ICFEM 2020, celebrada en Singapur, Singapur, en marzo de 2021. Los 16 artÃculos completos y 4 breves presentados junto con 1 artÃculo de simposio doctoral en este volumen fueron cuidadosamente revisados ​​y seleccionados. de 41 presentaciones. Los artÃculos cubren la teorÃa y las aplicaciones de los métodos formales de ingenierÃa junto con estudios de casos. También representan el desarrollo reciente en el uso y desarrollo de métodos formales de ingenierÃa para el desarrollo de software y sistemas. |
| Nota de contenido: |
Safety and Security -- Program Verification -- Formal Methods and Machine Learning -- Formal Languages -- Other Applications of Formal Methods. |
| Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings [documento electrónico] / Lin, Shang-Wei, ; Hou, Zhe, ; Mahony, Brendan, . - 1 ed. . - [s.l.] : Springer, 2020 . - XI, 335 p. 98 ilustraciones, 48 ilustraciones en color. ISBN : 978-3-030-63406-3 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. |  |
Crear una solicitud de compra Refinar búsqueda22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings / Lin, Shang-Wei ; Hou, Zhe ; Mahony, Brendan
