
Verificación formal del algoritmos de distribución de carga para procesamiento de datos independientes
Author(s) -
José Luis Quiroz Fabián
Publication year - 2020
Language(s) - Spanish
Resource type - Dissertations/theses
DOI - 10.24275/uami.mp48sc83h
Subject(s) - physics , computer science