| TÃtulo : |
17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings |
| Tipo de documento: |
documento electrónico |
| Autores: |
Lin, Anthony Widjaja, |
| Mención de edición: |
1 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2019 |
| Número de páginas: |
XIII, 492 p. 609 ilustraciones, 24 ilustraciones en color. |
| ISBN/ISSN/DL: |
978-3-030-34175-6 |
| Nota general: |
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. |
| Idioma : |
Inglés (eng) |
| Palabras clave: |
Compiladores (programas informáticos) IngenierÃa de software Programación de computadoras Computadoras digitales electrónicas Ordenadores Profesiones Ciencias de la Computación Compiladores e intérpretes Técnicas de programación Rendimiento y evaluación del sistema La profesión informática Lógica informática y fundamentos de la programación. |
| Clasificación: |
005.45 |
| Resumen: |
Este libro constituye las actas del 17º Simposio Asiático sobre Lenguajes y Sistemas de Programación, APLAS 2019, celebrado en Nusa Dua, Bali, Indonesia, en diciembre de 2019. Los 22 artÃculos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 50 presentaciones. Estaban organizados en secciones temáticas denominadas: artÃculos invitados, tipos, análisis de programas, semántica, diseño e implementación de lenguajes, concurrencia, verificación y lógica y autómatas. |
| Nota de contenido: |
Invited Papers -- Types -- Program Analysis -- Semantics -- Language Design and Implementation -- Concurrency -- Verification -- Logic and Automata. . |
| Tipo de medio : |
Computadora |
| Summary : |
This book constitutes the proceedings of the 17th Asian Symposium on Programming Languages and Systems, APLAS 2019, held in Nusa Dua, Bali, Indonesia, in December 2019. The 22 papers presented in this volume were carefully reviewed and selected from 50 submissions. They were organized in topical sections named: Invited Papers, Types, Program Analysis, Semantics, Language Design and Implementation, Concurrency, Verification, and Logic and Automata. |
| Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings [documento electrónico] / Lin, Anthony Widjaja, . - 1 ed. . - [s.l.] : Springer, 2019 . - XIII, 492 p. 609 ilustraciones, 24 ilustraciones en color. ISBN : 978-3-030-34175-6 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés ( eng)
| Palabras clave: |
Compiladores (programas informáticos) IngenierÃa de software Programación de computadoras Computadoras digitales electrónicas Ordenadores Profesiones Ciencias de la Computación Compiladores e intérpretes Técnicas de programación Rendimiento y evaluación del sistema La profesión informática Lógica informática y fundamentos de la programación. |
| Clasificación: |
005.45 |
| Resumen: |
Este libro constituye las actas del 17º Simposio Asiático sobre Lenguajes y Sistemas de Programación, APLAS 2019, celebrado en Nusa Dua, Bali, Indonesia, en diciembre de 2019. Los 22 artÃculos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 50 presentaciones. Estaban organizados en secciones temáticas denominadas: artÃculos invitados, tipos, análisis de programas, semántica, diseño e implementación de lenguajes, concurrencia, verificación y lógica y autómatas. |
| Nota de contenido: |
Invited Papers -- Types -- Program Analysis -- Semantics -- Language Design and Implementation -- Concurrency -- Verification -- Logic and Automata. . |
| Tipo de medio : |
Computadora |
| Summary : |
This book constitutes the proceedings of the 17th Asian Symposium on Programming Languages and Systems, APLAS 2019, held in Nusa Dua, Bali, Indonesia, in December 2019. The 22 papers presented in this volume were carefully reviewed and selected from 50 submissions. They were organized in topical sections named: Invited Papers, Types, Program Analysis, Semantics, Language Design and Implementation, Concurrency, Verification, and Logic and Automata. |
| Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
|  |
Crear una solicitud de compra Refinar búsqueda17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings / Lin, Anthony Widjaja
