TY  - BOOK
AU  - Ríos Tercero, Octavio Ariosto
TI  - Especificación formal de procesos de negocios a partir del modelo de flujo de productos de trabajo / Octavio Ariosto Ríos Tercero
AV  - QA76.9 MCCC3 T4 R5 2001 
U1  - 005.1 R5e 
KW  - 1. INGENIERÍA DE REQUISITOS \ 2. MODELADO DE NEGOCIOS \ 3. MÉTODOS FORMALES \ 4. PROYECTO IRIS
N1  - TESIS. Opción I. CENIDET (Maestría en Ciencias en Ciencias Computacionales) Mc. Hugo Estrada Esquivel
ER  -