000 00581nam a2200121 4500
050 _aQA76.9 MCCC3 T4 R5 2001
082 _a005.1 R5e
100 _aRíos Tercero, Octavio Ariosto
245 _aEspecificación formal de procesos de negocios a partir del modelo de flujo de productos de trabajo / Octavio Ariosto Ríos Tercero
300 _a119 p. / 28 cm.
502 _aTESIS. Opción I. CENIDET (Maestría en Ciencias en Ciencias Computacionales) Mc. Hugo Estrada Esquivel
650 _a1. INGENIERÍA DE REQUISITOS \ 2. MODELADO DE NEGOCIOS \ 3. MÉTODOS FORMALES \ 4. PROYECTO IRIS
999 _c26012
_d26012