Unifying Theories of Programming / Bowen, Jonathan P. ; Zhu, Huibiao  

Público ISBD Ningún comentario para este registro. Título : Unifying Theories of Programming : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers Tipo de documento: documento electrónico Autores: Bowen, Jonathan P., ; Zhu, Huibiao, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: IX, 217 p. 36 ilustraciones ISBN/ISSN/DL: 978-3-319-52228-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  Compiladores (programas informáticos)  Ingeniería de software  Teoría de las máquinas  Lógica informática y fundamentos de la programación  Compiladores e intérpretes  Lenguajes formales y teoría de los autómatas  Teoría de la Computación Índice Dewey: 40.151 Resumen: Este libro constituye las actas arbitradas del 6º Simposio Internacional sobre Teorías Unificadoras de Programación, UTP 2016, celebrado en Reykjavik, Islandia, en junio de 2016, junto con la 12ª Conferencia Internacional sobre Métodos Formales Integrados, iFM 2016. Los 8 artículos completos revisados presentados fueron cuidadosamente revisados ​​y seleccionados entre 10 presentaciones. Tratan el problema fundamental de la combinación de notaciones formales y teorías de programación que definen de diversas maneras muchas nociones comunes, como refinamiento de la abstracción, elección, terminación, viabilidad, localidad, concurrencia y comunicación. También muestran que, a pesar de muchas diferencias, dichas teorías pueden unificarse de una manera que facilita enormemente su estudio y comparación. . Nota de contenido: Abstraction refinement -- Choice -- Termination -- Feasibility -- Locality.-Concurrency -- Communication. . En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i Unifying Theories of Programming : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers [documento electrónico] / Bowen, Jonathan P., ; Zhu, Huibiao,  . -  1 ed.  . - [s.l.] : Springer, 2017 . - IX, 217 p. 36 ilustraciones. ISBN : 978-3-319-52228-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  Compiladores (programas informáticos)  Ingeniería de software  Teoría de las máquinas  Lógica informática y fundamentos de la programación  Compiladores e intérpretes  Lenguajes formales y teoría de los autómatas  Teoría de la Computación Índice Dewey: 40.151 Resumen: Este libro constituye las actas arbitradas del 6º Simposio Internacional sobre Teorías Unificadoras de Programación, UTP 2016, celebrado en Reykjavik, Islandia, en junio de 2016, junto con la 12ª Conferencia Internacional sobre Métodos Formales Integrados, iFM 2016. Los 8 artículos completos revisados presentados fueron cuidadosamente revisados ​​y seleccionados entre 10 presentaciones. Tratan el problema fundamental de la combinación de notaciones formales y teorías de programación que definen de diversas maneras muchas nociones comunes, como refinamiento de la abstracción, elección, terminación, viabilidad, localidad, concurrencia y comunicación. También muestran que, a pesar de muchas diferencias, dichas teorías pueden unificarse de una manera que facilita enormemente su estudio y comparación. . Nota de contenido: Abstraction refinement -- Choice -- Termination -- Feasibility -- Locality.-Concurrency -- Communication. . En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i

---

1 (1 - 1 / 1) Par page : 25 50 100 200