| Título : |
6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings |
| Tipo de documento: |
documento electrónico |
| Autores: |
Butler, Michael, ; Raschke, Alexander, ; Hoang, Thai Son, ; Reichl, Klaus, |
| Mención de edición: |
1 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2018 |
| Número de páginas: |
XIV, 432 p. 83 ilustraciones |
| ISBN/ISSN/DL: |
978-3-319-91271-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 Algoritmos Ciencias de la Computación Compiladores (programas informáticos) Inteligencia artificial Lenguajes formales y teoría de los autómatas Lógica informática y fundamentos de la programación Compiladores e intérpretes |
| Índice Dewey: |
5.131 |
| Resumen: |
Este libro constituye las actas arbitradas de la 6.ª Conferencia Internacional sobre Máquinas de Estados Abstractos, Alloy, B, TLA, VDM y Z, ABZ 2016, celebrada en Southampton, Reino Unido, en junio de 2018. Los 20 artículos completos y 11 breves presentados en este El volumen fue cuidadosamente revisado y seleccionado entre 60 presentaciones. Registran los últimos desarrollos de investigación en métodos formales basados en estados: Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM y Z. |
| Nota de contenido: |
Invited Talks -- Translation and Transformation -- Analysis and Tests -- Reals and Hybrid Systems -- Refinement -- Hybrid ERTMS Case Study -- Short Papers. |
| 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 |
6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings [documento electrónico] / Butler, Michael, ; Raschke, Alexander, ; Hoang, Thai Son, ; Reichl, Klaus, . - 1 ed. . - [s.l.] : Springer, 2018 . - XIV, 432 p. 83 ilustraciones. ISBN : 978-3-319-91271-4 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 Algoritmos Ciencias de la Computación Compiladores (programas informáticos) Inteligencia artificial Lenguajes formales y teoría de los autómatas Lógica informática y fundamentos de la programación Compiladores e intérpretes |
| Índice Dewey: |
5.131 |
| Resumen: |
Este libro constituye las actas arbitradas de la 6.ª Conferencia Internacional sobre Máquinas de Estados Abstractos, Alloy, B, TLA, VDM y Z, ABZ 2016, celebrada en Southampton, Reino Unido, en junio de 2018. Los 20 artículos completos y 11 breves presentados en este El volumen fue cuidadosamente revisado y seleccionado entre 60 presentaciones. Registran los últimos desarrollos de investigación en métodos formales basados en estados: Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM y Z. |
| Nota de contenido: |
Invited Talks -- Translation and Transformation -- Analysis and Tests -- Reals and Hybrid Systems -- Refinement -- Hybrid ERTMS Case Study -- Short Papers. |
| 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 |
|  |
Hacer una sugerencia Refinar búsqueda6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings
