Sobre la especificación y verificación del patrón de programación paralela PCR en TLA+ / José A. Solsona en Memoria Investigaciones en Ingeniería, n.24 (2023) 

Público ISBD [artículo]  inMemoria Investigaciones en Ingeniería > n.24 (2023) . - p. 105-116 Título : Sobre la especificación y verificación del patrón de programación paralela PCR en TLA+ Tipo de documento: texto impreso Autores: José A. Solsona Fecha de publicación: 2023 Artículo en la página: p. 105-116 Idioma : Español Temas: ALGORITMOS PARALELOS COMPUTADORAS INFORMATICA METODOS FORMALES PATRONES DE DISEÑO En línea: http://revistas.um.edu.uy/index.php/ingenieria/article/view/1146 Enlace permanente a este registro: https://opac.um.edu.uy/index.php?lvl=notice_display&id=102648 [artículo] Sobre la especificación y verificación del patrón de programación paralela PCR en TLA+ [texto impreso] / José A. Solsona . - 2023 . - p. 105-116. Idioma : Español in Memoria Investigaciones en Ingeniería > n.24 (2023) . - p. 105-116 Temas: ALGORITMOS PARALELOS COMPUTADORAS INFORMATICA METODOS FORMALES PATRONES DE DISEÑO En línea: http://revistas.um.edu.uy/index.php/ingenieria/article/view/1146 Enlace permanente a este registro: https://opac.um.edu.uy/index.php?lvl=notice_display&id=102648

---

page 1/1