|
|
|
|
| LEADER |
00698nam a2200229 4500 |
| 001 |
001107 |
| 003 |
arbauncb |
| 008 |
150325s1987 xxk g 000 0 eng d |
| 005 |
20171017110438.0 |
| 040 |
|
|
|a AR-BaUNCB
|c AR-BaUNCB
|
| 245 |
1 |
0 |
|a Algorithms :
|b the construction, proof, and analysis of programs /
|c Pierre Berlioux, Philippe Bizard
|
| 260 |
|
|
|a Chichester :
|b J. Wiley,
|c 1987
|
| 020 |
|
|
|a 0471908444
|
| 100 |
1 |
|
|a Berlioux, Pierre
|
| 700 |
1 |
|
|a Bizard, Philippe
|
| 082 |
0 |
4 |
|a 001.642
|
| 650 |
|
7 |
|a Computación
|2 mpirdes
|
| 650 |
|
7 |
|a Algoritmos
|2 unescot
|
| 650 |
|
7 |
|a Programación de computadoras
|2 unescot
|
| 653 |
|
|
|a Construccion formal
|
| 300 |
|
|
|a 145 p. :
|b graph ;
|c 23 cm
|
| 999 |
|
|
|c 1044
|d 1044
|