|
|
|
|
| LEADER |
00952nam#a22002415a#4500 |
| 008 |
060919s1988####ag#######b####000#0#por#d |
| 005 |
20060919085753.0 |
| 001 |
BCCAB011367 |
| 003 |
AR-BCCAB |
| 245 |
1 |
0 |
|a Métodos formais para o desenvolvimento de programas /
|c Paulo S. C. de Alencar e Carlos J. P. de Lucena.
|
| 260 |
# |
# |
|a Buenos Aires :
|b Kapelusz,
|c 1988.
|
| 300 |
# |
# |
|a 175 p. ;
|c cm.
|
| 504 |
# |
# |
|a Incluye referencias bibliográficas e índice.
|
| 020 |
# |
# |
|a 9501398781
|
| 100 |
1 |
# |
|a Alencar, Paulo S. C. de.
|
| 700 |
1 |
# |
|a Lucena, Carlos J. P. de.
|
| 711 |
2 |
# |
|a Escuela Brasileño-Argentina de Informática
|n (4a :
|d 1989 :
|c Termas de Río Hondo, Santiago del Estero, Argentina)
|
| 080 |
# |
# |
|a 681.3
|
| 490 |
1 |
# |
|a EBAI
|
| 040 |
# |
# |
|a arbccab
|b spa
|
| 500 |
# |
# |
|a "Versão preliminar publicada na IV Escola Brasileiro-Argentina de Informática, Santiago del estero-Janeiro de 1989".
|
| 942 |
# |
# |
|c BK
|
| 952 |
# |
# |
|2 udc
|a ARBCCAB
|b ARBCCAB
|i 12578
|o 681.3 A25
|p 12578
|t 1
|y BK
|
