| TÃtulo : |
Formal Methods Teaching : Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings |
| Tipo de documento: |
documento electrónico |
| Autores: |
Dongol, Brijesh, ; Petre, Luigia, ; Smith, Graeme, |
| Mención de edición: |
1 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2019 |
| Número de páginas: |
XVI, 245 p. 545 ilustraciones, 53 ilustraciones en color. |
| ISBN/ISSN/DL: |
978-3-030-32441-4 |
| 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: |
TeorÃa de las máquinas Compiladores (programas informáticos) IngenierÃa de software Programación lógica Algoritmos Lenguajes formales y teorÃa de los autómatas Compiladores e intérpretes Lógica en IA |
| Clasificación: |
|
| Resumen: |
Este libro constituye las actas arbitradas del Tercer Taller y Tutorial Internacional, FMTea 2019, celebrado como parte del Tercer Congreso Mundial sobre Métodos Formales, FM 2019, Oporto, Portugal, octubre de 2019. Los 14 artÃculos completos presentados junto con 3 artÃculos resúmenes fueron cuidadosamente revisado y seleccionado entre 22 presentaciones. Los artÃculos están organizados en secciones temáticas denominadas: Conferencias tutoriales; Verificación del Programa Docente; Desarrollo de Programas Docentes; y Técnicas de Enseñanza Efectivas. |
| Nota de contenido: |
Tutorial lectures -- Teaching Program Verification -- Teaching Program Development -- Effective Teaching Techniques. |
| Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
Formal Methods Teaching : Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings [documento electrónico] / Dongol, Brijesh, ; Petre, Luigia, ; Smith, Graeme, . - 1 ed. . - [s.l.] : Springer, 2019 . - XVI, 245 p. 545 ilustraciones, 53 ilustraciones en color. ISBN : 978-3-030-32441-4 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úsqueda
