| TÃtulo : |
23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers |
| Tipo de documento: |
documento electrónico |
| Autores: |
James, Phillip, ; Roggenbach, Markus, |
| Mención de edición: |
1 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2017 |
| Número de páginas: |
X, 223 p. 28 ilustraciones |
| ISBN/ISSN/DL: |
978-3-319-72044-9 |
| 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 TeorÃa de las máquinas IngenierÃa de software Compiladores (programas informáticos) Simulación por ordenador Lógica matemática Lógica informática y fundamentos de la programación Lenguajes formales y teorÃa de los autómatas Compiladores e intérpretes Modelado por computadora Lógica Matemática y Fundamentos |
| Clasificación: |
|
| Resumen: |
Este libro constituye las actas posteriores a la conferencia, exhaustivamente arbitradas, del 23º Taller Internacional IFIP WG 1.3 sobre Técnicas de Desarrollo Algebraico, WADT 2016, celebrado en septiembre de 2016 en Gregynog, Reino Unido. Los 9 artÃculos revisados ​​presentados junto con dos charlas invitadas, un artÃculo invitado y dos artÃculos de encuesta fueron cuidadosamente revisados ​​y seleccionados entre numerosas presentaciones y se centran en los fundamentos de la especificación algebraica; otros enfoques para la especificación formal, incluidos cálculos de procesos y modelos de computación concurrente, distribuida y móvil; lenguajes, métodos y entornos de especificación; semántica de métodos y técnicas de modelado conceptual; desarrollo impulsado por modelos; transformaciones de gráficos, reescritura de términos y sistemas de prueba; integración de técnicas de especificación formal; áreas de pruebas formales y garantÃa de calidad, validación y verificación, que en términos generales se dividen en tres categorÃas: análisis de contenido multimedia; procesamiento de señales multimedia y comunicaciones; y aplicaciones y servicios multimedia. |
| Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers [documento electrónico] / James, Phillip, ; Roggenbach, Markus, . - 1 ed. . - [s.l.] : Springer, 2017 . - X, 223 p. 28 ilustraciones. ISBN : 978-3-319-72044-9 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 TeorÃa de las máquinas IngenierÃa de software Compiladores (programas informáticos) Simulación por ordenador Lógica matemática Lógica informática y fundamentos de la programación Lenguajes formales y teorÃa de los autómatas Compiladores e intérpretes Modelado por computadora Lógica Matemática y Fundamentos |
| Clasificación: |
|
| Resumen: |
Este libro constituye las actas posteriores a la conferencia, exhaustivamente arbitradas, del 23º Taller Internacional IFIP WG 1.3 sobre Técnicas de Desarrollo Algebraico, WADT 2016, celebrado en septiembre de 2016 en Gregynog, Reino Unido. Los 9 artÃculos revisados ​​presentados junto con dos charlas invitadas, un artÃculo invitado y dos artÃculos de encuesta fueron cuidadosamente revisados ​​y seleccionados entre numerosas presentaciones y se centran en los fundamentos de la especificación algebraica; otros enfoques para la especificación formal, incluidos cálculos de procesos y modelos de computación concurrente, distribuida y móvil; lenguajes, métodos y entornos de especificación; semántica de métodos y técnicas de modelado conceptual; desarrollo impulsado por modelos; transformaciones de gráficos, reescritura de términos y sistemas de prueba; integración de técnicas de especificación formal; áreas de pruebas formales y garantÃa de calidad, validación y verificación, que en términos generales se dividen en tres categorÃas: análisis de contenido multimedia; procesamiento de señales multimedia y comunicaciones; y aplicaciones y servicios multimedia. |
| Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
|  |
Crear una solicitud de compra Refinar búsqueda23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers / James, Phillip ; Roggenbach, Markus
