Abstract State Machines, Alloy, B, TLA, VDM, and Z / Butler, Michael ; Raschke, Alexander ; Hoang, Thai Son ; Reichl, Klaus  

Público ISBD Ningún comentario para este registro. Título : Abstract State Machines, Alloy, B, TLA, VDM, and Z : 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. Idioma : Inglés (eng) 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 Clasificación: 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. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018. The 20 full and 11 short papers presented in this volume were carefully reviewed and selected from 60 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Abstract State Machines, Alloy, B, TLA, VDM, and Z : 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. Idioma : Inglés (eng) 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 Clasificación: 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. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018. The 20 full and 11 short papers presented in this volume were carefully reviewed and selected from 60 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

---

1 (1 - 1 / 1) Ver por página : 25 50 100 200