TY  - BOOK
AU  - Ortiz,Antonio Claudio
AU  - Cuesta,Juan Eduardo
TI  - Herramienta de edición para la creación de especificación formal basada en el lenguaje RSL (raise specification language)
PY  - 2016///
CY  - San Salvador de Jujuy
PB  - Universidad Nacional. Facultad de Ingeniería
KW  - Informática
KW  - lemb
KW  - Lenguaje rsl
KW  - Lenguajes de programación
KW  - Metodo raise
KW  - Proyecto final informática
KW  - Proyecto
N1  - Bibliografía en p.84-86contiene anexos
ER  -