Título original:
Programming Languages and Systems: 15th Asian Symposium, Aplas 2017, Suzhou, China, November 27-29, 2017, Proceedings
Contenido del libro:
Este libro constituye las actas del 15º Simposio Asiático sobre Lenguajes y Sistemas de Programación, APLAS 2017, celebrado en Suzhou, China, en noviembre de 2017. Los 24 artículos presentados en este volumen fueron cuidadosamente revisados y seleccionados entre 56 propuestas. Se organizaron en secciones temáticas denominadas: seguridad.
Heap y razonamiento de equivalencia.
Concurrencia y verificación.
Lenguajes específicos de dominio.
Semántica.
Y razonamiento numérico. El volumen contiene también dos ponencias invitadas en versión completa.
Otros datos del libro:
| ISBN: | 9783319712369 |
| Autor: | |
| Editorial: | |
| Idioma: | inglés |
| Encuadernación: | Tapa blanda |
Compra:
Actualmente disponible, en stock.
