|
|
|
|
| LEADER |
00917nam#a22002295a#4500 |
| 005 |
20060925110240.0 |
| 008 |
060925s1986####bl#######b####001#0#por#d |
| 001 |
BCCAB011630 |
| 003 |
AR-BCCAB |
| 245 |
1 |
0 |
|a Verificação e construção de programas /
|c Paulo A. S. Veloso.
|
| 260 |
# |
# |
|a Campinas :
|b UNICAMP
|c 1986.
|
| 300 |
# |
# |
|a 211 p. ;
|c cm.
|
| 504 |
# |
# |
|a Bibliografía: p.202-211.
|
| 100 |
1 |
# |
|a Veloso, Paulo A. S.
|
| 711 |
2 |
# |
|a Escuela Brasileño-Argentina de Informática
|n (1a :
|d 1986 :
|c Campinas, Brasil)
|
| 080 |
# |
# |
|a 681.3:519.684
|
| 490 |
1 |
# |
|a EBAI
|
| 040 |
# |
# |
|a arbccab
|b spa
|
| 500 |
# |
# |
|a "Este livro faz parte de uma coleção de livros-textos escritos para apoiar a I Escola Brasileiro-Argentina de Informática (I EBAI), realizada em Campinas, Brasil, de 17 de fevereiro a 01 de março de 1986".
|
| 500 |
# |
# |
|a Incluye índice.
|
| 942 |
# |
# |
|c BK
|
| 952 |
# |
# |
|2 udc
|a ARBCCAB
|b ARBCCAB
|i 11103
|o 681.3:519.684 V545
|p 11103
|t 1
|y BK
|
