Análisis formal de la dinámica computacional en GIGANTEC.
Mathware & soft computing, Tome 8 (2001) no. 2
Cet article a éte moissonné depuis la source Proyecto DML-E: Biblioteca Digital de Matemáticas
@article{MSC_2001_2001_1_a12,
author = {Badr, Amr},
title = {An\'alisis formal de la din\'amica computacional en {GIGANTEC.}},
journal = {Mathware & soft computing},
pages = {137-152},
year = {2001},
volume = {8},
number = {2},
language = {en},
url = {http://geodesic.mathdoc.fr/item/MSC_2001_2001_1_a12/}
}
Badr, Amr. Análisis formal de la dinámica computacional en GIGANTEC.. Mathware & soft computing, Tome 8 (2001) no. 2. http://geodesic.mathdoc.fr/item/MSC_2001_2001_1_a12/