|
|
|
|
| LEADER |
00550nam a22001457a 4500 |
| 008 |
091006t xxu||||| |||| 00| 0 eng d |
| 020 |
|
|
|a 0 471 90844 4
|
| 082 |
|
|
|a 004.421
|b BER
|
| 100 |
|
|
|a Berlioux, Pierre
|9 5542
|
| 245 |
|
|
|a Algorithms:
|b the construction, proof, and analysis of programs/
|c Pierre Berlioux; Philippe Bizard
|
| 260 |
|
|
|a New York:
|b John-Wiley & Sons
|c 1987
|
| 300 |
|
|
|a ix, 144p.;
|
| 942 |
|
|
|2 ddc
|c BK
|6 _
|
| 999 |
|
|
|c 85769
|d 85769
|
| 952 |
|
|
|0 0
|1 0
|2 ddc
|4 0
|6 004421_BER
|7 0
|9 107537
|a DCA
|b DCA
|d 2009-10-06
|o 004.421 BER
|p CA000218
|r 2009-10-06
|w 2009-10-06
|y BK
|