[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