|
|
|
|
LEADER |
00859nam a2200205 a 4500 |
008 |
050201s1990||||sp |||||||||||||||||spa|| |
020 |
|
|
|a 8475852661
|
041 |
|
|
|a spa
|
082 |
|
|
|a 006.66
|b D539v
|
100 |
1 |
|
|a Díaz de Llarraza Sánchez, Arantza
|
245 |
0 |
0 |
|a Verificación de programas y metodología de la programación /
|c Arantza Díaz de Llarraza, Francisca Lucio Carrasco.
|
260 |
|
|
|a Bilbao :
|b Universidad del País Vasco,
|c 1990
|
300 |
|
|
|a 199 p.
|
650 |
|
7 |
|a Algoritmos-computación
|2 lemb
|
650 |
|
7 |
|a Lenguajes de programación (computadoras electrónicas)
|2 lemb
|
650 |
|
7 |
|a Metodología-programación
|2 lemb
|
700 |
1 |
|
|a Carrasco, Francisca Lucio,
|e autor.
|
942 |
|
|
|c BK
|
999 |
|
|
|c 138123
|d 138123
|
952 |
|
|
|0 0
|1 0
|4 0
|6 006_660000000000000_D539V
|7 0
|8 CG
|9 248609
|a 70
|b 70
|c CG
|d 2013-03-08
|i 70000152
|o 006.66 D539v
|p 70000152
|r 2013-03-08
|t 001
|w 2013-03-08
|y BK
|