|
|
|
|
| LEADER |
00931nam a22002297a 4500 |
| 003 |
OSt |
| 005 |
20240115164148.0 |
| 008 |
240115b |||||||| |||| 00| 0 spa d |
| 040 |
|
|
|a Sistema de Bibliotecas de la Universidad de las Regiones Autónomas de la Costa Caribe Nicaragüense
|
| 082 |
|
|
|a 004.42A951
|
| 100 |
|
|
|a Avendaño López Danilo
|9 51951
|
| 245 |
|
|
|a Métosos formales
|
| 250 |
|
|
|a 1ra ed.
|
| 260 |
|
|
|c 2007
|
| 300 |
|
|
|a 47 P.
|
| 504 |
|
|
|a Incluye. Figuras, tablas, diagramas, bibliografia
|
| 505 |
|
|
|a Métodos formales en el diseño de sistemas de información; lenguaje de especificación formal; problemas de los enfoques menos formales.
|
| 590 |
|
|
|a Col. Inform
|
| 650 |
|
|
|a 1. INFORMATICA 2.SISTEMA DE INFORMACIÓN
|9 31897
|
| 942 |
|
|
|2 ddc
|c BK
|
| 999 |
|
|
|c 44157
|d 44157
|
| 952 |
|
|
|0 2
|1 0
|2 ddc
|4 0
|6 6293C1
|7 2
|8 IA
|9 41842
|a BNG
|b BNG
|c STAFF
|d 2024-01-15
|i 6293
|l 0
|o 6293C1
|p 6293C1
|r 2024-01-15
|t C1
|w 2024-01-15
|y BK
|