Institucionesmatemáticas para la especificación en computación
- Domínguez Fernández, César 1
- Lambán Pardo, Laureano 1
- Pascual Martínez-Losa, María Vico 1
- Rubio García, Julio 1
-
1
Universidad de La Rioja
info
- Luis Español (ed. lit.)
- Juan L. Varona (ed. lit.)
- José Javier (Chicho) Guadalupe Hernández (hom.)
Éditorial: Universidad de La Rioja
ISBN: 84-95301-56-3
Année de publication: 2001
Pages: 221-234
Type: Chapitre d'ouvrage