| 000 | 01053cam a22003134a 4500 | ||
|---|---|---|---|
| 003 | AR-SsjUIB | ||
| 005 | 20250710164157.0 | ||
| 008 | 250429s2016 ag 000 0 spa d | ||
| 040 |
_aAR-SsjUIB _cAR-SsjUIB |
||
| 041 | 0 | _aspa | |
| 044 | _aag | ||
| 080 | _a043 | ||
| 100 | 1 |
_aOrtiz, Antonio Claudio _922663 |
|
| 245 | 1 | 0 | _aHerramienta de edición para la creación de especificación formal basada en el lenguaje RSL (raise specification language). |
| 260 |
_aSan Salvador de Jujuy : _bUniversidad Nacional. Facultad de Ingeniería, _c2016. |
||
| 300 |
_a134 p. : _bil. ; _c30 cm |
||
| 504 | _aBibliografía en p.84-86contiene anexos. | ||
| 650 | 7 |
_aInformática _2lemb _92114 |
|
| 650 | 7 |
_aLenguaje rsl _2lemb _922664 |
|
| 650 | 7 |
_aLenguajes de programación _2lemb _92666 |
|
| 650 | 7 |
_aMetodo raise _2lemb _922665 |
|
| 650 | 7 |
_aProyecto final informática _2lemb _913122 |
|
| 655 | 4 |
_aProyecto _912398 |
|
| 700 | 1 |
_aCuesta, Juan Eduardo _922666 |
|
| 942 |
_cLB _2cdu |
||
| 945 |
_adbfi _d2016-09-01 |
||
| 999 |
_c16030 _d16030 |
||